陶哲轩用GPT-5解决数学难题：仅29行Python代码

2025-10-04 12:59:43

数码游侠

发布在

快讯

阅读：1552

2025年10月，数学家陶哲轩利用GPT-5成功解决了一个数学难题，通过仅29行的Python代码验证了‘最小公倍数数列是否是高度丰数的子集’这一问题的答案为否定。他借助AI进行启发式计算和参数搜索，显著减少了繁琐的人工操作时间。陶哲轩强调，AI在严肃数学问题中未出现幻觉问题，结果可靠。这并非陶哲轩首次使用AI解决数学问题，此前他还多次利用AI工具完成文献检索、函数极限证明等任务。与此同时，OpenAI CEO表示，GPT-5更多代表迭代改进而非范式转变，并对AGI实现持更谨慎态度。

原文链接

本文链接：https://kx.umi6.com/article/26254.html

转载请注明文章出处

GPT-5