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

数学家陶哲轩利用GPT-5高效完成了一项原本需耗时数小时的数学验证任务，证明序列lcm(1,2,…,n)并非高度丰数的子集。通过分步引导AI进行启发式搜索，他获得关键参数，并用仅29行的Python脚本独立验证结果，全过程未出现AI幻觉。这一案例凸显了AI在复杂数学研究中的辅助潜力，也反映了人机协同的新趋势。同时，奥特曼表示GPT-5是渐进式升级，强调对安全与稳步发展的重视。
来源：https://mp.weixin.qq.com/s/TFSNB2dnOj-dune5siEkNQ