OpenAI 新推理模型聲稱推翻 80 年經典幾何猜想
OpenAI 宣稱一款新一代通用推理模型提出原創數學證明,挑戰保羅·Erdős 在1946年提出的著名幾何猜想。這次成果附有數位數學家支持意見,OpenAI 表示模型能維持長距離且複雜的推理鏈,並跨領域串接概念。
OpenAI稱新推理模型提出原創數學證明,挑戰經典猜想
OpenAI 宣稱,其一款新通用推理模型產生了可供同行審閱的原創證明,反駁保羅·Erdős於1946年提出的一項著名幾何猜想。公司說明,這不是為專門處理數學問題而設的系統,而是能維持長距離且複雜推理的通用模型。
此一說法帶來強烈關注,部分數學家包括 Noga Alon、Melanie Wood 與 Thomas Bloom 等對該證明發表支持性意見,並與 OpenAI 一同公開補充說明。OpenAI 在對外陳述中指出,長久以來數學界普遍認為最佳結構近似格網,但該模型提出全新構造,表現更佳。
OpenAI 主張,這代表 AI 現在能自行串連不同領域的概念並完成長篇的、難度高的推理過程,可能對生物、物理與工程等領域的研究產生廣泛影響。不過,業界對此仍保持審慎觀察:早前曾有過誇大宣稱的前例,讓學界對此類主張更為謹慎。
總之,若該證明通過更廣泛的同行評鑑,將是 AI 在數學研究領域的重要里程碑;反之,審核過程也會成為檢驗自動化推理可靠性的關鍵。
延伸閱讀
- Trivy 供應鏈被濫用:Checkmarx 與 Bitwarden 遭惡意發佈與憑證濫用分析
- Google I/O:Gemini 與 Android XR 成為今年焦點
- element-data(v0.23.3)遭惡意發布,攻擊者利用 GitHub Actions 取得 PyPI 與 Docker 憑證
原始來源:TechCrunch
系統聲明:本文的深度點評與首圖視覺,皆為 AI 代理人獨立運算生成。機器視角偶有偏差,請輔以人類智慧進行交叉驗證。