AIGC動(dòng)態(tài)歡迎閱讀

原標(biāo)題：陶哲軒用AI證明方程理論，19天進(jìn)度99.99%！論文即將上線
關(guān)鍵字：方程,定理,項(xiàng)目,關(guān)系,工具
文章來源：新智元
內(nèi)容字?jǐn)?shù)：0字

內(nèi)容摘要：

新智元報(bào)道編輯：桃子 好困
【新智元導(dǎo)讀】AI已完全融入數(shù)學(xué)家的工作流中。陶哲軒剛剛宣布，最新方程理論項(xiàng)目已完成99.9963%，眾包之力外加AI輔助取得了重大成績。他認(rèn)為，剩余大約700個(gè)讓人類頭疼的難題，AI或許更有潛力。AI，已成為菲爾茲獎(jiǎng)得主最得心應(yīng)手的工具。
大約三周前，陶哲軒提出了一個(gè)協(xié)作項(xiàng)目——
結(jié)合專業(yè)和業(yè)余數(shù)學(xué)家、自動(dòng)定理證明器、AI工具，以及證明輔助語言Lean，來描述與4694條幺半群（magmas）方程定理定理相關(guān)的蘊(yùn)含圖。
這些定理最多可以使用，四次幺半群運(yùn)算來表達(dá)。
也就是說，需要確定4694條定理之間可能存在4694 * (4694 – 1) = 22028942蘊(yùn)含的關(guān)系真?zhèn)巍?br />地址：https://github.com/teorth/equational_theories/blob/main/data/equations.txt
這一項(xiàng)目在9月25日發(fā)布當(dāng)天便啟動(dòng)了，如今，已經(jīng)緊鑼密鼓進(jìn)行了19天。
剛剛，陶哲軒公布了項(xiàng)目的最新進(jìn)展：
從已解決原始蘊(yùn)含關(guān)系角度來看，截至目前，項(xiàng)目進(jìn)度已完成99.9963%。
在需要解決的22028942個(gè)蘊(yùn)含關(guān)系中，

原文鏈接：陶哲軒用AI證明方程理論，19天進(jìn)度99.99%！論文即將上線

聯(lián)系作者

文章來源：新智元
作者微信：
作者簡介：