Gary Marcus 质疑 Astra：数学强不等于全能
GaryMarcus · x · 2026-08-01
针对 OpenAI Astra 模型解决数学难题的传闻，Gary Marcus 发表看法。他承认这显然令人印象深刻，但也指出数学问题与其他问题不同，它更容易通过形式验证和合成数据来解决。他强调，目前外界对该模型的工作原理（例如是否依赖 Lean 等形式化工具）、具体测试细节以及独立验证结果一无所知。他提醒，在开放式现实问题中的表现和可靠性仍是未知数，社区不应在未经实测前过度狂热。
所属事件: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