-
日期: 2026-02-10 | 來源: 煎蛋網 | 有0人參與評論 | 字體: 小 中 大
2月5日，數學界的壹個消息引起了轟動。壹家名為Axiom(公理)的AI初創企業宣布，其開發的AI系統成功破解了肆項此前未能解決的數學難題。這壹突破不僅展示了人工智能日益增強的推理能力，也預示著科學發現的新范式。
故事要從5年前說起。數學家Dawei Chen和Quentin Gendron在研究代數幾何中的微分問題時，被壹個涉及數論的奇怪公式難住了。他們當時無法證明該公式，只能將其作為壹項猜想發表。不久前，Dawei Chen嘗試讓ChatGPT來解決這個難題，但並未成功。轉機出現在上個月華盛頓舉行的壹場數學會議上。Dawei Chen遇到了著名數學家Ken Ono。Ken Ono最近離開了弗吉尼亞大學的工作，加入了由他的學生Carina Hong創辦的Axiom。
第贰天早上，Ken Ono就帶來了壹個由公司開發的公理驗證器生成的證明。Dawei Chen驚訝地發現，困擾多年的難題迎刃而解，目前這份證明已經發布在預印本平台上。公理驗證器發現了壹個19世紀就存在的數值現象與該問題之間的聯系，並自主完成了驗證。Ken Ono向《連線》雜志表示，這個證明發現了壹些被人類數學家長期忽略的關鍵點。
這只是Axiom近期取得的壹系列成就之壹。雖然它尚未攻克那些舉世聞名或獎金豐厚的頂級難題，但它解決了壹些困擾專家多年的專業問題。Axiom的首席執行官Carina Hong解釋說，他們的技術將大語言模型與專利系統相結合，通過壹種名為Lean語言的專業數學語言進行邏輯推理和自動驗證。這確保了AI生成的證明在邏輯上是無懈可擊的。早在2024年，谷歌就通過阿爾法證明系統展示了類似的思路，而Carina Hong表示公理求解器在此基礎上融入了更多先進技術。
另壹個顯著的突破是AI獨立完成了費爾猜想的證明。費爾猜想涉及代數中的合系問題，其公式最早可以追溯到100多年前印度傳奇數學家Srinivasa Ramanujan的筆記。哈佛商學院教授Scott Kominers對此感到震驚，他認為AI不僅實現了全自動解題，其產生的數學邏輯甚至具有某種優雅的美感。此外，AI還解決了數論中關於死胡同的概率模型，以及壹個涉及費馬大定理研究工具的難題。
除了純數學研究，這種技術還具有極高的商業潛力。例如，AI驗證代碼邏輯的能力可以用於開發更安全的軟件，防御網絡安全攻擊。正如Carina Hong所說，數學是檢驗現實世界的終極試驗場。Dawei Chen則更加樂觀，他認為AI並不是要取代數學家，而是像計算器壹樣，成為壹種新型的智能合伙人，為人類開辟更廣闊的研究視野。
（示意圖）- 新聞來源於其它媒體，內容不代表本站立場！
-
原文鏈接
原文鏈接:
目前還沒有人發表評論, 大家都在期待您的高見