陶哲轩用 GPT-5 解决数学难题：仅 29 行 Python 代码完成验证
数学家陶哲轩在社交媒体发帖称，他使用 GPT-5 成功解决了 MathOverflow 上的一个数学问题：验证最小公倍数序列 lcm(1,2,…,n) 是否为高度丰数的子集。陶哲轩表示，如果没有 AI 帮助，完成同样任务需要花费数小时进行手动编码和调试，甚至可能不会采用最终成功的关键策略。
在解决过程中，陶哲轩首先让 GPT-5 直接生成 Python 程序搜索反例参数，但发现代码运行时间过长且参数选择不当。随后他改变策略，通过分步对话让 GPT-5 进行启发式计算寻找可行参数。最终，GPT-5 生成了一个 29 行的 Python 验证脚本，帮助陶哲轩完成了该问题的否定证明。陶哲轩特别提到，AI 在此次数学问题解决中没有出现幻觉等问题。
量子位
🍀在花频道 🍵茶馆 📮投稿
数学家陶哲轩在社交媒体发帖称，他使用 GPT-5 成功解决了 MathOverflow 上的一个数学问题：验证最小公倍数序列 lcm(1,2,…,n) 是否为高度丰数的子集。陶哲轩表示，如果没有 AI 帮助，完成同样任务需要花费数小时进行手动编码和调试，甚至可能不会采用最终成功的关键策略。
在解决过程中，陶哲轩首先让 GPT-5 直接生成 Python 程序搜索反例参数，但发现代码运行时间过长且参数选择不当。随后他改变策略，通过分步对话让 GPT-5 进行启发式计算寻找可行参数。最终，GPT-5 生成了一个 29 行的 Python 验证脚本，帮助陶哲轩完成了该问题的否定证明。陶哲轩特别提到，AI 在此次数学问题解决中没有出现幻觉等问题。
量子位
🍀在花频道 🍵茶馆 📮投稿