传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬
Imaginary_Dinner2710 · reddit · 2026-08-01
据传 OpenAI 尚未公开的新模型 Astra 在白宫演示中成功找到了 10 个数学问题的新解法,引发了科学界的惊叹。
发帖人指出,数学领域非常适合 AI 进行自我验证,尤其是借助 Lean 等形式化编程语言,模型可以生成海量思路并自动检验证明是否成立。借此契机,作者回顾并反驳了此前多位行业领袖对 LLM 能力的质疑:
- Yann LeCun 曾断言“LLM 无法发明新东西”。
- François Chollet 认为“LLM 无法独立充当具有创造力的科学家”。
- Thomas Wolf 警告当前路线只会造出“服务器上的应声虫”,而非能实现真正科学突破的系统。
作者感叹这些顶尖大脑在 AI 的实际进化面前显得如此固执且大错特错。
所属事件:OpenAI内部模型Astra连破10大数学难题(99 条相关)→
「漫话AGI」频道最新
- e/acc 领袖批 EA：最顶层是「反社会邪教头目」 — beffjezos · 2026-09-18
- e/acc 旗手抨击 EA:想要全球 AI 全景监控,把西方变成 1984 — beffjezos · 2026-09-18
- 「梦想的力量」:Benioff Dreamforce 大会与 EA 同台成圈内梗图 — Dr_Singularity · 2026-09-18
- 「人人都是程序员」在凌晨两点的生产事故前破灭 — ashishllm · 2026-09-18
- 哲学教授挺 p(doom):主观概率没有问题,引用斯坦福哲学百科 — sethlazar · 2026-09-18
- Navier-Stokes 不到一月又传 Hodge 猜想被破,千禧难题加速告破 — haider1 · 2026-09-18