量子位
·
半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了
💡
原文中文，约2800字，阅读约需7分钟。
📝
内容提要
陶哲轩与数学家们合作，利用AI在48小时内解决了尘封50年的Erdős#1026难题，传统方法需数周或数月，AI的应用显著加快了解题过程，展示了人机协作的新趋势。
🎯
关键要点
- 陶哲轩与数学家合作，利用AI在48小时内解决了Erdős#1026难题。
- 传统方法解决该问题需数周或数月，AI显著加快了解题过程。
- Erdős#1026问题最早在1975年提出，涉及对函数最小可能值的研究。
- 数学家们通过博弈论和计算几何等方法逐步推进问题的解决。
- 陶哲轩使用AI工具AlphaEvolve生成了c(n)的上界，推动了问题的解决。
- AI在数学研究中的应用越来越普遍，成为解决难题的新趋势。
- Erdős问题出自匈牙利数学家Paul Erdős，他提出了大量数学问题。
- AI辅助解题已成为常态，Erdős网站鼓励使用AI工具进行研究。
❓
延伸问答
陶哲轩和其他数学家是如何解决Erdős#1026难题的？
他们利用AI工具在48小时内完成了解题过程，传统方法需数周或数月。
Erdős#1026问题的核心内容是什么？
该问题涉及对函数最小可能值的研究，特别是引入最大常数c(n)。
AI在解决数学难题中起到了什么作用？
AI显著加快了解题过程，成为解决难题的新趋势。
Erdős问题的提出者是谁？
Erdős问题出自匈牙利数学家Paul Erdős。
陶哲轩之前还用AI解决过哪些数学问题？
他还利用Gemini 2.5 Deep Think破解了Erdős问题#367。
Erdős网站对使用AI辅助解题有什么规定？
允许使用AI辅助撰写评论，但需公开说明并独立检查内容。
➡️
