OpenAI通用推理模型破解近八十年數學難題 獲頂尖學者連署肯定

人工智能（AI）發展一日千里，其解決複雜問題的能力屢創新高。美國AI研究公司OpenAI近日宣佈，其通用推理模型成功破解一個困擾數學界近八十年的著名難題——「平面單位距離猜想」（Erdős Unit Distance Problem）。此項突破獲多位頂尖數學家背書，被視為AI在數學領域的重要里程碑。 OpenAI行政總裁阿爾特曼（Sam Altman）在社交平台發文，對於人工智能能夠大幅拓展人類對世界的理解感到「非常興奮」，並強調這項成就確實是一個「重要的里程碑」。 「平面單位距離猜想」是由著名數學家Paul Erdős於1946年首次提出，屬組合幾何學中最廣為人知的問題之一。儘管其表述方式看似簡單，但要找到解決方案卻異常棘手，此前一直未被攻克。 為證明此項成就的真實性，OpenAI隨消息發布了一份由多位頂尖數學家連署的「伴隨論文」。其中包括聲名顯赫的菲爾茲獎得主Timothy Gowers、普林斯頓大學數學教授Noga Alon、印度裔多倫多大學數論學家Arul Shankar，以及專責維護Erdős問題網站的數學家Thomas Bloom。Timothy Gowers更公開表示，此單位距離問題的解決方案是人工智能數學領域的重大里程碑，若由人類撰寫並提交給權威期刊《數學年刊》，他將「毫不猶豫地建議接收」，並指出此前未有任何人工智能生成的證明能與之媲美。 然而，這並非OpenAI首次傳出AI解決數學難題的消息。據資料顯示，OpenAI前副總裁Kevin Weil曾於約七個月前在社交平台發文，聲稱「GPT-5找到了10個以前未解決的Erdős問題的解決方案，並在其他11個問題上取得進展」。但該消息其後被證實為不實資訊，相關帖文亦隨即被刪除。 值得一提的是，在本地剛播畢的電視劇《IT狗2.0》中，劇中人工智能AI George亦曾破解另一數據難題「黎曼猜想」（Riemann Hypothesis），該難題由德國數學家黎曼（Bernhard Riemann）於1859年提出。現實與劇情的巧合，亦為此次AI突破增添話題。