AI对数学的接管已经开始
内容提要
OpenAI宣布其AI模型Astra解决了10个长期未解的数学难题，引发数学界震动。专家既兴奋于AI加速发现，又担忧学术贡献被低估、商业炒作扭曲领域价值、年轻研究者前景黯淡。争议焦点包括对前人工作的致谢不足，以及AI成果能否真正推动数学概念性突破。
延伸解读
AI成果的归属争议
OpenAI在公告中最初声称解决了“至少十年无进展”的问题，但后来修改了措辞，未加更正说明。数学家Kun和Thom认为原始公告低估了他们的贡献，Kun称其“相当草率”。这反映出AI成果的归属问题：当AI基于人类已有工作取得突破时，如何公平分配功劳？这不仅是学术伦理问题，也可能影响研究者的职业发展。
商业炒作与学术价值的冲突
数学家们担忧AI公司的商业动机可能扭曲领域价值。OpenAI估算生成10个解决方案的成本约2000美元，但实际可能更高，这可能导致资源不足的研究者被排除在外。此外，Leiden Declaration呼吁不要轻信AI公司的夸大宣传，已获国际数学联盟认可和超过3400人签署。商业利益驱动的宣传可能让资助者和政府低估人类数学家的作用。
对年轻研究者的冲击
AI开始解决许多研究生通常从事的问题，这可能导致他们被“抢走”研究机会，影响技能培养。牛津教授Juhasz指出，项目工作已成为本科生评估的难题，AI可能帮助快速获得答案，但损害深入理解。研究者们担心，如果标准提高，学生可能难以找到适合的课题，甚至对职业前景感到绝望。
AI能否带来概念性突破？
菲尔兹奖得主Maynard认为Astra的成果“非常令人印象深刻”，但可能未达到概念性提升的水平。他观察到更多是现有技术的巧妙结合，而非深刻的新思想。Schmitt则担心AI解决大量问题却不产生新研究方向，导致“不平衡局面”。但也有乐观者认为AI可能拓宽研究参与面，让更多人做出可发表的工作。
Q&A
OpenAI的Astra模型解决了哪些数学问题？
Astra解决了10个长期未解的数学难题，涉及球体堆积、纠错码、网络结构、量子博弈论、高维网格搜索以及非sofic群的存在性等广泛领域。
数学家对AI解决数学问题的主要担忧是什么？
主要担忧包括：学术贡献被低估、商业炒作扭曲领域价值、年轻研究者前景黯淡、AI成果可能不会开辟新的研究方向，以及商业利益对开放学术的侵蚀。
OpenAI在宣布解决非sofic群问题时引发了什么争议？
争议在于OpenAI最初的公告被指低估了数学家Andreas Thom和Gábor Kun的贡献，他们的近期工作为结果奠定了基础。OpenAI后来修改了措辞以更好地承认前人工作，但未加更正说明。
OpenAI如何验证Astra的数学证明？
OpenAI使用Lean软件验证了每个结果，并发布了超过250页的论文和60页的'思路说明'。
莱顿宣言是什么？
莱顿宣言是数学家们发布的关于负责任使用AI的原则，呼吁政策制定者和媒体不要轻信AI公司夸大产品能力的宣传。它已获得国际数学联盟认可和超过3400人签署。
AI解决数学问题对年轻研究者有什么影响？
AI可能解决许多研究生通常从事的问题，影响他们的训练和发展。项目工作对本科生来说已成为有问题的评估形式，研究生可能面临被AI抢先的风险，导致一些年轻研究者感到恐惧和绝望。
数学家对AI成果能否推动概念性突破持什么看法？
一些数学家如James Maynard认为Astra的成果'非常令人印象深刻'，但可能未达到概念性提升的水平，更多是现有技术的巧妙结合。但也有观点认为现在判断为时过早，需要时间评估。
AI解决数学问题的成本是多少？
OpenAI估计生成Astra的10个解决方案在API价格下约需2000美元，但研究人员认为实际成本可能更高，取决于成功前的尝试次数。对于预算有限的数学领域，这可能是一个问题。
