數學奇跡：陶哲軒與AI聯手，57天破紀錄證明2200萬+數學關系！

項目進度遠超陶哲軒本人預期

原標題：陶哲軒宣布“等式理論計劃”成功，人類AI協作，57天完成2200萬+數學關系證明
文章來源：量子位
內容字數：5899字

等式理論計劃：人類與AI的數學協作

2024年9月25日，數學家陶哲軒發起了“等式理論計劃”，旨在探索按蘊含關系排序的原群等式理論空間。該項目結合了人類數學家的智慧和AI工具的力量，成功解決了4694個等式之間的22028942個蘊含關系，項目進展超出預期，僅用9天便達到了99.866%的完成度。

項目背景與靈感

陶哲軒受到去中心化研究方式的啟發，決定通過集合專業和業余數學家、AI工具及證明輔助語言Lean，進行大規模數學合作。在這一過程中，他希望克服傳統數學研究的局限性，探索更為高效的合作模式。項目的靈感源于一個關于代數等式的研究問題，進一步引導他關注代數結構中的magma。

magma與等式研究

magma是一個包含集合和二元運算的代數結構，不要求滿足額外的代數性質。等式理論計劃的目標是研究4694個magma等式之間的蘊含關系，包括等價、推出和非推出關系。這個龐大的研究任務涉及22028942個可能的蘊含關系，挑戰極大。

項目進展與成果

項目在啟動后迅速推進，48小時內解決了大量簡單蘊含關系。到第9天，項目的完成度已達到99.866%。參與者包括數學家和計算機科學家，他們利用AI工具如GitHub Copilot、Claude等，加速了研究進程。雖然AI工具的表現有時不及預期，但仍在代碼編寫和可視化工具創建方面發揮了重要作用。

未來展望與衍生項目

隨著項目的成功推進，陶哲軒已開始撰寫論文，預計將有數十名作者參與。項目的成果不僅為數學研究提供了新的合作模式，還可能為AI數學工具的基準測試奠定基礎。未來，團隊將繼續探索相關衍生項目，如有限原群下的蘊含圖研究等。

總之，等式理論計劃不僅展示了人類與AI的有效合作潛力，也為數學研究的未來提供了新的視角與方法。

聯系作者

文章來源：量子位
作者微信：
作者簡介：追蹤人工智能新趨勢，關注科技行業新突破