人類與AI聯(lián)手：57天內(nèi)突破2200萬數(shù)學(xué)關(guān)系證明的奇跡！

原標(biāo)題：陶哲軒宣布“等式理論計(jì)劃”成功，人類AI協(xié)作，57天完成2200萬+數(shù)學(xué)關(guān)系證明
文章來源：人工智能學(xué)家
內(nèi)容字?jǐn)?shù)：11031字

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

在2024年9月25日，由著名數(shù)學(xué)家陶哲軒發(fā)起的“等式理論計(jì)劃”正式啟動(dòng)，旨在探索4694個(gè)代數(shù)結(jié)構(gòu)magma等式之間的蘊(yùn)含關(guān)系。這一計(jì)劃吸引了眾多數(shù)學(xué)家和AI工具的參與，標(biāo)志著數(shù)學(xué)研究的合作方式進(jìn)入了一個(gè)新階段。

項(xiàng)目背景與靈感

陶哲軒對(duì)“去中心化”研究方式的探索啟發(fā)了這一項(xiàng)目。傳統(tǒng)的數(shù)學(xué)研究通常由少數(shù)專家主導(dǎo)，而“等式理論計(jì)劃”通過結(jié)合人類數(shù)學(xué)家、AI工具（如ChatGPT、Claude等）和證明輔助語言Lean，實(shí)現(xiàn)了規(guī)模化的合作。項(xiàng)目的靈感源于對(duì)代數(shù)領(lǐng)域的興趣，尤其是關(guān)于magma的等式之間關(guān)系的研究。

項(xiàng)目進(jìn)展與成果

在僅僅9天的時(shí)間內(nèi)，項(xiàng)目進(jìn)度達(dá)到了99.866%。參與者們從2200萬條蘊(yùn)含關(guān)系中，成功證實(shí)了8178279個(gè)，反駁了13855193個(gè)，僅剩162個(gè)未決。陶哲軒表示，宣布完全成功只是時(shí)間問題，研究論文的撰寫已經(jīng)開始。

AI工具的作用

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

項(xiàng)目的未來方向

除了主項(xiàng)目的成功，等式理論計(jì)劃還有多個(gè)衍生項(xiàng)目正在進(jìn)行中，包括在有限原群下的蘊(yùn)含圖研究等。陶哲軒希望，通過這一項(xiàng)目的蘊(yùn)含關(guān)系，可以為未來AI數(shù)學(xué)工具的基準(zhǔn)測(cè)試提供參考。

結(jié)語

“等式理論計(jì)劃”的成功展示了人類與AI的高效合作，預(yù)示著數(shù)學(xué)研究的新未來。在陶哲軒和參與者們的共同努力下，這一項(xiàng)目不僅推動(dòng)了代數(shù)理論的發(fā)展，也為AI在科學(xué)研究中的應(yīng)用提供了寶貴經(jīng)驗(yàn)。

聯(lián)系作者

文章來源：人工智能學(xué)家
作者微信：
作者簡(jiǎn)介：致力成為權(quán)威的人工智能科技媒體和前沿科技研究機(jī)構(gòu)