传 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 连破十大数学难题(47 条相关)→
「漫话AGI」频道最新
- AI重塑产品体验：AX与UAX将成为下一代核心 — EdenEmarco177 · 2026-08-02
- 数学与网络安全已现超人类智能，AGI 怀疑论者需更新认知 — nabeelqu · 2026-08-02
- Gary Marcus：纯LLM本质仍是随机鹦鹉，Astra证明需引入神经符号计算 — GaryMarcus · 2026-08-02
- AI的终极征途：当前惊艳的能力仅是漫长远征的微小支线 — yunta_tsai · 2026-08-02
- 观点：AI能力正愈发参差不齐，验证闭环决定进化速度 — nbaschez · 2026-08-02
- 用 AI Prompt 自动检索未认领财产，价值 700 亿美元 — ScamSchoolBrian · 2026-08-02