OpenAI:通用推理模型破解困擾80年數學難題

《IT狗2.0》劇情在現實生活中實現。OpenAI表示，其通用推理模型破解一個困擾數學界近80年的難題「平面單位距離猜想」(Erdős Unit Distance Problem)。行政總裁阿爾特曼(Sam Altman)表示，「非常興奮人工智能能夠大幅拓展我們對世界的理解，今天心情依然很複雜」。

阿爾特曼在社交平台稱:「(我們)一個通用模型解決了數學領域一個重要的未解難題。未來幾年會一再強調這點，這確實是一個重要的里程碑」。

OpenAI表示，平面單位距離問題，是由Paul Erdős於1946年首次提出，是組合幾何學中最著名的問題之一，表述簡單但解決起來卻異常棘手。

3頂尖數學家力撐

OpenAI在發布有關消息時，同時附上一份由多名頂尖數學家連署的「伴隨論文」(companion paper)，包括菲爾茲獎得主Timothy Gowers、普林斯頓大學數學教授Noga Alon、印度裔多倫多大學數論學家Arul Shankar，及維護Erdős問題網站的數學家Thomas Bloom。Timothy Gowers稱，單位距離問題的解決方案是人工智能數學領域一個里程碑，「如果這篇論文是由人類撰寫並提交給《數學年刊》，並徵求我的意見，我會毫不猶豫地建議接收。此前沒有任何人工智能生成的證明能夠與之媲美」。

據資料顯示，OpenAI前副總裁Kevin Weil於7個月前曾在社交平台帖文稱，「GPT-5找到了10(!)以前未解決的Erdős問題的決方案，以及在其他11個問題上取得進展」，其後證明是假消息後，隨即刪除帖文。

剛播完的《IT狗2.0》劇情中，人工智能AI George亦破解數據難題「黎曼猜想」(Riemann Hypothesis)，這是由德國數學家黎曼(Bernhard Riemann)於1859年提出。