OpenAI 的人工智慧解題器破解了這道存在數十年的數學難題,並推翻了一項幾何猜想
數學界剛剛見證了一項里程碑式的成就。OpenAI 近日宣布,其最新的內部推理模型已成功生成一份原創的數學證明,正式推翻了由著名數學家保羅·埃爾德什(Paul Erdős)於 1946 年首次提出的「單位距離猜想」。這項里程碑式的成就標誌著,人工智慧首次透過其先進的長鏈推理,獨立解決了純數學領域中的未解問題。

超越資料檢索:獨立專家驗證
值得注意的是,就在七個月前,OpenAI 因聲稱解決了數個埃爾德什問題,卻被指控「從文獻中檢索現有答案」且缺乏真正的原創性,而面臨學術界的批評。吸取此次經驗,該公司主動邀請包括湯瑪斯·布魯姆(Thomas Bloom)在內的國際知名數學家小組進行獨立驗證。此證明之嚴謹性,此後已獲得多位專家的明確支持。
歷史上,人工智慧在數學領域的成就主要限於重新證明人類已知的定理。然而,此推理模型卻從根本上挑戰了近八十年來被普遍接受的數學認知。數學家們通常假設該猜想的最佳解將呈現網格狀的排列。OpenAI 的模型則偏離了這條路徑,獨立發現了一種能帶來更優異表現的新穎構建方法。
克服「幻覺」:對前沿科學的啟示
從技術角度來看,解決此類開放性數學問題對人工智慧的邏輯連貫性提出了嚴苛要求。數學證明涉及眾多複雜的演繹步驟,其中單一錯誤便可能使整個推導鏈失效。此次成功表明,該模型已實質性地克服了傳統大型語言模型中普遍存在的「幻覺」問題。
儘管部分學者指出,該證明尚需時日進行全面的同儕審查,但其潛在的連鎖效應已引起廣泛關注。單位距離猜想與組合幾何學及圖論密切相關。預期這項突破將直接影響未來各領域的研究,包括生物學中的蛋白質摺疊、材料科學中的晶體結構分析,以及藥用分子的設計與優化。
相關文章
瑞典人工智慧初創公司Lovable Eyes在完成主要融資輪後估值達132億美元
隨著人工智慧驅動的編碼工具日益普及,瑞典初創公司 Lovable 已獲一輪重大融資。該公司計劃籌集 30 億美元,其估值有望升至 132 億美元——這是去年 12 月記錄的 66 億美元的兩倍。預計 Menlo Ventures 將主導此次投資。Lovable 的吸引力源於其核心的“氛圍編碼”(vibe coding)技術,該技術透過消除對複雜編碼技能的需求來簡化軟體開發。使用者只需以自然語言描述其需求,系統即可自動生成應用程式。這種直觀的方法吸引了個人開發者、設計師和小企業,並擴充套件至 Work
Google 測試 Remy AI 代理,以 Gemini 為重點轉向使用者控制
根據《商業內幕》的報道,谷歌正在測試 Remy,這是 Gemini 的一款全新 AI 個人代理工具。該工具旨在代表使用者執行任務,從而簡化專業工作流程和日常事務。目前,Remy 正在 Gemini 應用的內部員工專屬版本中進行測試。該報告引用了一份內部檔案以及對兩位熟悉該專案的個人的採訪。內部資料將 Remy 描述為“全天候個人代理”,將 Gemini 定位為能夠代表使用者行事的主動助手。接近該專案的訊息人士證實,谷歌員工正在積極測試 Remy。谷歌發言人拒絕提供進一步評論。該報告未提及公開發布
如何修復核心網頁指標以獲得更好的 SEO 排名
利用 AI 工具簡化成績單評語撰寫引言用於生成成績單評語的 AI 工具Magic SchoolAlmanac AIChat GPT使用 Magic School 生成成績單評語登入 Magic School選擇成績單評語工具為學生定製評語使用 Almanac AI 生成成績單評語設定課程與評分方案配置評語長度與學生資訊使用 Almanac AI 生成評語比較 Magic School 與 Almanac AI設定的便捷性可定製性與課程內容的整合速度與效率使用
相關專題推薦
評論 (0)
0/500
數學界剛剛見證了一項里程碑式的成就。OpenAI 近日宣布,其最新的內部推理模型已成功生成一份原創的數學證明,正式推翻了由著名數學家保羅·埃爾德什(Paul Erdős)於 1946 年首次提出的「單位距離猜想」。這項里程碑式的成就標誌著,人工智慧首次透過其先進的長鏈推理,獨立解決了純數學領域中的未解問題。

超越資料檢索:獨立專家驗證
值得注意的是,就在七個月前,OpenAI 因聲稱解決了數個埃爾德什問題,卻被指控「從文獻中檢索現有答案」且缺乏真正的原創性,而面臨學術界的批評。吸取此次經驗,該公司主動邀請包括湯瑪斯·布魯姆(Thomas Bloom)在內的國際知名數學家小組進行獨立驗證。此證明之嚴謹性,此後已獲得多位專家的明確支持。
歷史上,人工智慧在數學領域的成就主要限於重新證明人類已知的定理。然而,此推理模型卻從根本上挑戰了近八十年來被普遍接受的數學認知。數學家們通常假設該猜想的最佳解將呈現網格狀的排列。OpenAI 的模型則偏離了這條路徑,獨立發現了一種能帶來更優異表現的新穎構建方法。
克服「幻覺」:對前沿科學的啟示
從技術角度來看,解決此類開放性數學問題對人工智慧的邏輯連貫性提出了嚴苛要求。數學證明涉及眾多複雜的演繹步驟,其中單一錯誤便可能使整個推導鏈失效。此次成功表明,該模型已實質性地克服了傳統大型語言模型中普遍存在的「幻覺」問題。
儘管部分學者指出,該證明尚需時日進行全面的同儕審查,但其潛在的連鎖效應已引起廣泛關注。單位距離猜想與組合幾何學及圖論密切相關。預期這項突破將直接影響未來各領域的研究,包括生物學中的蛋白質摺疊、材料科學中的晶體結構分析,以及藥用分子的設計與優化。
瑞典人工智慧初創公司Lovable Eyes在完成主要融資輪後估值達132億美元
隨著人工智慧驅動的編碼工具日益普及,瑞典初創公司 Lovable 已獲一輪重大融資。該公司計劃籌集 30 億美元,其估值有望升至 132 億美元——這是去年 12 月記錄的 66 億美元的兩倍。預計 Menlo Ventures 將主導此次投資。Lovable 的吸引力源於其核心的“氛圍編碼”(vibe coding)技術,該技術透過消除對複雜編碼技能的需求來簡化軟體開發。使用者只需以自然語言描述其需求,系統即可自動生成應用程式。這種直觀的方法吸引了個人開發者、設計師和小企業,並擴充套件至 Work
如何修復核心網頁指標以獲得更好的 SEO 排名
利用 AI 工具簡化成績單評語撰寫引言用於生成成績單評語的 AI 工具Magic SchoolAlmanac AIChat GPT使用 Magic School 生成成績單評語登入 Magic School選擇成績單評語工具為學生定製評語使用 Almanac AI 生成成績單評語設定課程與評分方案配置評語長度與學生資訊使用 Almanac AI 生成評語比較 Magic School 與 Almanac AI設定的便捷性可定製性與課程內容的整合速度與效率使用





首頁






