AI首次證明數學核心猜想：80年的經典難題，被OpenAI搞定了
OpenAI模型破解80年未解數學猜想
OpenAI的最新通用推理模型自主提出了一條關於著名數學家Paul Erdős提出的幾何猜想的證明，該問題自1946年提出以來，已持續80年無實質進展。
解決過程與權威認證
該模型解決的問題為Erdős提出的單位距離問題（Unit Distance Problem），其證明過程經過國際數學界權威人物如菲爾茲獎得主陶哲軒的驗證，並被評價為「迄今最明確的第一類結果（AI主要自主完成）」。
數學研究的轉變
隨著AI模型開始快速解決長期未被問津的數學問題，數學界正重新思考研究分工、人機協作與教育體系的未來。當計算與驗證可外包給機器，傳統數學研究的形態將產生深遠影響。
相關技術與模型
- GPT-5.2 Pro：被報導用於獨立解決Erdős問題第281號（Problem 281）。
- ChatGPT旗艦推理模型：據報導在2026年4月28日，成功破解懸宕60年的Erdős數學猜想（編號#1196）。
此突破不僅是AI在數學領域的里程碑，也顯示出通用模型在自主推理與創造性證明上的潛力。