OpenAI GPT-5.2 Pro 解决埃尔德什问题，陶哲轩给予高度评价
核心事件
2026年1月19日，人工智能在纯数学领域取得一项突破性进展。OpenAI的GPT-5.2 Pro模型成功协助解决了数论领域的第281号问题——“埃尔德什问题”。著名数学家陶哲轩对此给予高度评价，称这是AI解决开放性数学问题“最明确的案例之一”。
关键细节
- 研究主导：这一突破由研究员Neel Somani推动。
- 证明原创性：尽管此前可能存在相关的证明背景作为参考，但陶哲轩在对比后确认，GPT-5.2 Pro给出的证明过程与以往方法“完全不同”。
- 并非首次成功：资料显示，该模型早在2026年1月4日就已自主解决了埃尔德什问题。
行业冷静观察
在庆祝突破的同时，数学界保持了清醒的认识。陶哲轩警告，公众对AI能力的认知可能存在偏差。由于失败的尝试很少被公布，人们往往只看到成功的案例。
- 实际成功率数据：根据Paata Ivanisvili和Mehmet Mars Seven建立的追踪数据库显示，AI尝试解决此类问题的实际成功率仅为1%至2%，且主要集中在较简单的问题上。
- 工具定位：尽管AI并非万能，但已被证明能提供不同于传统人类思维路径的解题思路，正成为数学研究的强大辅助工具。
要点总结
- 突破性进展：GPT-5.2 Pro成功解决数论难题，其原创证明逻辑获得了数学大师陶哲轩的认可。
- 成功率真相：最新数据库揭示，AI解决此类问题的真实成功率仅约1%-2%，在中高难度复杂数学挑战上仍面临困难。
- 新研究工具：AI已被证明能提供不同于传统路径的解题方法，成为数学研究的有效助力。
信息来源：AIbase，2026年1月19日
