教授自嘲一年前质疑LLM解猜想论文已被打脸

康奈尔教授 Amin Karbasi 回顾称，恰好一年前其团队曾发表论文质疑大语言模型能否解决简单的数学猜想，如今他自嘲'这篇论文没跟上时代'。他与友人近期还挑战了当前最先进的 AI 定理证明器，感慨模型能力进展远超当时预期。

2026-09-19 ~ 2026-09-20 · 2 条相关

• Amin Karbasi 感慨:一年前质疑 LLM 能否解简单猜想,如今已远超预期 — aminkarbasi · 2026-09-19
• 理论计算机学者自嘲：一年前质疑 LLM 证明猜想，如今已被打脸 — burny_tech · 2026-09-20