AI攻克十大数学难题，Noah Smith 宣告「英雄时代」终结

littmath · x · 2026-08-04

博主 Noah Smith 以 OpenAI 新模型 Astra 解决十个重大数学难题为背景，探讨了 AI 对数学领域的冲击。他提出，虽然 AI 在整合现有文献方面已展现出超人类能力，但在做出真正新颖的跳跃性洞察上可能仍有局限（即“LLM 无法跳跃”）。然而，随着技术进步，人类数学家不会失去工作或探索的乐趣，但将失去凭借智力突破成为“英雄”的时代机遇。