传 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」频道最新
- 德国老片预言居家护理机器人:保险送人形机器人上门养老 — CyberRobooo · 2026-11-14
- Interconnects：黄仁勋辞职是美国开源模型生态的重大挫败 — Interconnects (Nathan Lambert) · 2026-11-14
- AI 竞赛终局猜想:多家均势或中心化全景监控 — CedricMakes · 2026-11-14
- 投资人称身边 60% 的人有某种 AI 精神症，越聪明陷得越深 — StewartalsopIII · 2026-11-14
- AI 不会让人人平等,反而比金钱更狠地拉开认知差距 — prasenx · 2026-11-14
- 幼儿只能从会回应的对象学新词,研究呼吁用响应式 AI 复测 — AnnaCiaunica · 2026-11-14