2026-10-28 · 每日综述｜以色列大选陷入僵局，美国提醒海湾准备选后对伊打击，AI 形式化最长数学证明

The Long View · Oct 28, 2026 · 30m · transcript

本期 The Long View 十月二十八号每日综述。政治：以色列大选双方都过不了六十一席，僵局或让内塔尼亚胡看守留任；美国提醒海湾国家准备选后对伊打击，卡塔尔递交七天方案，美国战费超过四百七十亿美元；中期选举倒计时六天，参院战场扩大；大陪审团拒绝起诉哈钦森；弗拉维奥·博索纳罗出走；金正恩访丹东。科技：OpenAI 与 Anthropic 数学成果的发布争议，Axiom 用二十四天形式化有限单群分类定理；沃伦追问 Anthropic，Anthropic 进入药物发现；新评测下开源差距扩大到十二分；谷歌 Genie 4。商业：英伟达和 AMD 同时入股 Meta，SK 海力士称内存卖到二〇二九年；加拿大或加息，消费品巨头预告涨价；中国经济数据与市场背离。生活：姆巴佩三语道歉，世界大赛光芒十二局逆转，预测市场与青少年，恐龙骨架拍出四千七百三十万美元。