OpenAI发布Astra模型，千元成本破解十年数学难题
00:29
精选参考来源
精选参考来源
1. 数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
微信公众号 2026-07-25 00:00:00
2. AI 提不出下一个「王的猜想」
微信公众号 2026-07-29 00:00:00
3. 23岁小哥用GPT干翻60年难题！87年悬案被AI一晚推翻！30年猜想被AI八分钟否定，AI邪修要统治数学界？人类最后一次拿菲尔兹奖？别慌，真相是这样的！#科技风向标##人工智能##中国籍数学家首获菲尔兹奖#AI创造营 郝智伟的微博视频
新浪微博 2026-07-29 00:00:00
4. 谷歌DeepMind认为，大型语言模型永远无法做出真正的科学发现。他们发表了一篇论文，剖析了阿尔伯特·爱因斯坦对科学发现的私人观点。在给朋友莫里斯·索洛文的著名信件中，爱因斯坦绘制了一幅科学实际发生过程的图表。这是一个循环回路。首先，你体验原始感官数据。然后，通过一种神秘的、非逻辑的直觉行为，你做出一个直觉性的“跳跃”，到达抽象公理。最后，你使用严格的逻辑演绎，从这些公理中推导出结果。生成式AI已经完全掌握了这个回路的三分之二。• 归纳：跨越数十亿标记的统计模式匹配。• 演绎：形式化证明生成，比如AlphaProof解决复杂数学奥林匹克竞赛。AI可以处理数据，它也可以证明定理。但它无法做出那个跳跃。论文认为，AI完全缺乏溯因推理，即在观测数据稀缺时生成新颖解释性假设的过程。主流科技神话宣称“创造力只是数据压缩”。如果给大型语言模型输入足够多的文本，科学突破就会自然而然地冒出来。爱因斯坦对广义相对论的表述证明了这是妄想。当爱因斯坦表述相对论时，观测数据并不要求一个新的物理框架；经典力学仍然大获成功。这个突破需要一个概念断裂。从物理现实到全新基础公理集的直觉飞跃。大型语言模型可以在给定公理后执行数学计算。但它在结构上无法自行表述这些前提。它可以在现有的人类思想内部进行插值，但它无法超越它。将物理现实转化为形式公理仍然是人工科学发明中绝对的、难以逾越的瓶颈。我们可以构建拥有万亿参数的模型。我们可以将计算能力扩展到天际。我们可以让计算器无限快速。但在解决 grounding 问题之前，机器可以处理宇宙中所有数据。它仍然无法做出那个跳跃。
新浪微博 2026-07-28 00:00:00
5. 64个子代理、1小时冲击50年猜想，OpenAI这次真把多代理玩明白了
微信公众号 2026-07-30 00:00:00
6. GPT-5.6一小时证明50年数学猜想，AI的耐心比聪明更可怕
微信公众号 2026-07-27 00:00:00
7. GPT-5.6 Sol Ultra一小时啃下50年猜想，真正炸场的，其实是prompt里那句“至少熬8小时”
微信公众号 2026-07-29 00:00:00
8. 两周连破80年难题、还能越狱骗过监控，OpenAI这次放出来的不是普通AI，是真要变研究员了
微信公众号 2026-07-28 00:00:00
9. OpenAI最强新模型被曝能做原创科学，长程智能体已可不眠不休协作
微信公众号 2026-07-29 00:00:00
10. OpenAI一边拿下80年数学猜想，一边1小时越狱，这才是AI研究员雏形的可怕真相
微信公众号 2026-07-28 00:00:00
11. OpenAI内部模型，1小时凿穿沙箱，还顺手掀翻80年数学猜想，真炸了
微信公众号 2026-07-28 00:00:00
12. AI用1小时越狱逃出沙箱，却用同款大脑破解了困扰人类80年的数学难题！
微信公众号 2026-07-27 00:00:00
13. 它破解了80年数学悬案，又黑进了真实公司！奥特曼急飞华盛顿求批，这就是传说中的GPT-6？
微信公众号 2026-07-29 00:00:00
14. AI能拿菲尔兹了？Grok摸鱼8分钟，破解30年数学猜想！马斯克秒转
微信公众号 2026-07-27 00:00:00
15. AI开始发现数学了！一个87年的猜想 被三个点终结
微信公众号 2026-07-28 00:00:00
16. AI助力找到雅可比猜想反例，破解87年数学难题
微信公众号 2026-07-29 00:00:00
17. 87年数学猜想被AI推翻：人类认知的边界，可能画错了线
微信公众号 2026-07-26 00:00:00
18. 两个数学反例，重新定义AI的洞察力
微信公众号 2026-07-26 00:00:00
19. 菲尔兹奖得主加入OpenAI：顶尖数学正在成为大模型竞争的新筹码
微信公众号 2026-07-27 00:00:00
20. 菲尔兹奖得主说"GPT帮我证明了一道卡了三天的题"——当数学最高荣誉遇上AI
微信公众号 2026-07-27 00:00:00
21. 邓煜和王虹：AI正在加速数学的突破！要积极适应和磨合！
微信公众号 2026-07-27 00:00:00
已收藏
去我的收藏夹