數(shù)學(xué)奇跡：陶哲軒與AI聯(lián)手，57天破紀(jì)錄證明2200萬(wàn)+數(shù)學(xué)關(guān)系！

項(xiàng)目進(jìn)度遠(yuǎn)超陶哲軒本人預(yù)期

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

等式理論計(jì)劃：人類與AI的數(shù)學(xué)協(xié)作

2024年9月25日，數(shù)學(xué)家陶哲軒發(fā)起了“等式理論計(jì)劃”，旨在探索按蘊(yùn)含關(guān)系排序的原群等式理論空間。該項(xiàng)目結(jié)合了人類數(shù)學(xué)家的智慧和AI工具的力量，成功解決了4694個(gè)等式之間的22028942個(gè)蘊(yùn)含關(guān)系，項(xiàng)目進(jìn)展超出預(yù)期，僅用9天便達(dá)到了99.866%的完成度。

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

陶哲軒受到去中心化研究方式的啟發(fā)，決定通過(guò)集合專業(yè)和業(yè)余數(shù)學(xué)家、AI工具及證明輔助語(yǔ)言Lean，進(jìn)行大規(guī)模數(shù)學(xué)合作。在這一過(guò)程中，他希望克服傳統(tǒng)數(shù)學(xué)研究的局限性，探索更為高效的合作模式。項(xiàng)目的靈感源于一個(gè)關(guān)于代數(shù)等式的研究問(wèn)題，進(jìn)一步引導(dǎo)他關(guān)注代數(shù)結(jié)構(gòu)中的magma。

magma與等式研究

magma是一個(gè)包含集合和二元運(yùn)算的代數(shù)結(jié)構(gòu)，不要求滿足額外的代數(shù)性質(zhì)。等式理論計(jì)劃的目標(biāo)是研究4694個(gè)magma等式之間的蘊(yùn)含關(guān)系，包括等價(jià)、推出和非推出關(guān)系。這個(gè)龐大的研究任務(wù)涉及22028942個(gè)可能的蘊(yùn)含關(guān)系，挑戰(zhàn)極大。

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

項(xiàng)目在啟動(dòng)后迅速推進(jìn)，48小時(shí)內(nèi)解決了大量簡(jiǎn)單蘊(yùn)含關(guān)系。到第9天，項(xiàng)目的完成度已達(dá)到99.866%。參與者包括數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家，他們利用AI工具如GitHub Copilot、Claude等，加速了研究進(jìn)程。雖然AI工具的表現(xiàn)有時(shí)不及預(yù)期，但仍在代碼編寫和可視化工具創(chuàng)建方面發(fā)揮了重要作用。

未來(lái)展望與衍生項(xiàng)目

隨著項(xiàng)目的成功推進(jìn)，陶哲軒已開(kāi)始撰寫論文，預(yù)計(jì)將有數(shù)十名作者參與。項(xiàng)目的成果不僅為數(shù)學(xué)研究提供了新的合作模式，還可能為AI數(shù)學(xué)工具的基準(zhǔn)測(cè)試奠定基礎(chǔ)。未來(lái)，團(tuán)隊(duì)將繼續(xù)探索相關(guān)衍生項(xiàng)目，如有限原群下的蘊(yùn)含圖研究等。

總之，等式理論計(jì)劃不僅展示了人類與AI的有效合作潛力，也為數(shù)學(xué)研究的未來(lái)提供了新的視角與方法。

聯(lián)系作者

文章來(lái)源：量子位
作者微信：
作者簡(jiǎn)介：追蹤人工智能新趨勢(shì)，關(guān)注科技行業(yè)新突破