Minerva 作者曾预测 AI 2026 年夺 IMO 金牌，正在应验
GarrisonLovely · x · 2026-10-08
GarrisonLovely 翻出 Michael Trazzi 早前对 Minerva 论文作者的采访观点，对照当下 AI 数学进展：作者当时认为 AI 在 2026 年拿 IMO 金牌是合理预期、2026 年实现超人类数学也不疯狂，并指出「自动形式化」在数学家眼中并不令人印象深刻，因为最重要的定理恰恰很难形式化。原预测正逐步兑现。
「漫话AGI」频道最新
- 推友类比:token 消耗正重演算力的演化路径,走向桌面端 — timshi_ai · 2026-10-08
- Conitzer 力挺模型倾泻数学结果:比用户抢发抢署名更好 — conitzer · 2026-10-08
- 前 OpenAI 政策负责人 Brundage 讽刺:造超人类智能不止影响 B2B SaaS — Miles_Brundage · 2026-10-08
- 诱导模型负面状态做研究引伦理之争，steering 代码暂不开源 — repligate · 2026-10-08
- 网友呼吁前沿实验室发布700篇癌症疗法论文作为AGI标志 — BLUECOW009 · 2026-10-08
- RL 环境设计被称一门手艺,只有少数人做得好 — DrDatta_AIIMS · 2026-10-08