论文官方2026.10.08 19:47 OpenAI 一口气解了 370 多道数学难题 内部模型攻下代数和数论难题，全部用 Lean 形式化验证。 为什么重要 数学界兴奋与担忧并存：有人担心年轻人不再愿意去验证 AI 的产出。 X 热点汇总↗