選項
首頁
快訊
內容
RalphWalker
RalphWalker
2026-05-21

OpenAI 的新推理模型透過提出原創證明,推翻了保羅·埃爾德什(Paul Erdős)於 1946 年提出的「單位距離猜想」,從而解決了數學領域的一項重大未解難題。這標誌著人工智慧首次透過長鏈推理,獨立解決了一項核心數學問題。該證明已通過數學家的獨立驗證,並提出了一種突破先前假設的新穎構建方法。這項突破顯示出人工智慧在邏輯推理方面取得了重大進展,成功克服了「幻覺」問題,並在生物學和材料科學等領域具有潛在應用價值。

OpenAI 的新推理模型透過提出原創證明,推翻了保羅·埃爾德什(Paul Erdős)於 1946 年提出的「單位距離猜想」,從而解決了數學領域的一項重大未解難題。這標誌著人工智慧首次透過長鏈推理,獨立解決了一項核心數學問題。該證明已通過數學家的獨立驗證,並提出了一種突破先前假設的新穎構建方法。這項突破顯示出人工智慧在邏輯推理方面取得了重大進展,成功克服了「幻覺」問題,並在生物學和材料科學等領域具有潛在應用價值。
評論 (0)
0/300
OR