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

等式理論計劃：人類與AI的合作突破

在2024年9月25日，由著名數學家陶哲軒發起的“等式理論計劃”正式啟動，旨在探索4694個代數結構magma等式之間的蘊含關系。這一計劃吸引了眾多數學家和AI工具的參與，標志著數學研究的合作方式進入了一個新階段。

項目背景與靈感

陶哲軒對“去中心化”研究方式的探索啟發了這一項目。傳統的數學研究通常由少數專家主導，而“等式理論計劃”通過結合人類數學家、AI工具（如ChatGPT、Claude等）和證明輔助語言Lean，實現了規模化的合作。項目的靈感源于對代數領域的興趣，尤其是關于magma的等式之間關系的研究。

項目進展與成果

在僅僅9天的時間內，項目進度達到了99.866%。參與者們從2200萬條蘊含關系中，成功證實了8178279個，反駁了13855193個，僅剩162個未決。陶哲軒表示，宣布完全成功只是時間問題，研究論文的撰寫已經開始。

AI工具的作用

在項目中，AI工具發揮了重要作用。雖然大模型的表現低于預期，但GitHub Copilot在代碼編寫和日常任務中極為有效。ChatGPT則在激發靈感和探索新思路方面表現突出，幫助參與者們快速掌握相關知識。

項目的未來方向

除了主項目的成功，等式理論計劃還有多個衍生項目正在進行中，包括在有限原群下的蘊含圖研究等。陶哲軒希望，通過這一項目的蘊含關系，可以為未來AI數學工具的基準測試提供參考。

結語

“等式理論計劃”的成功展示了人類與AI的高效合作，預示著數學研究的新未來。在陶哲軒和參與者們的共同努力下，這一項目不僅推動了代數理論的發展，也為AI在科學研究中的應用提供了寶貴經驗。

聯系作者

文章來源：人工智能學家
作者微信：
作者簡介：致力成為權威的人工智能科技媒體和前沿科技研究機構