陶哲軒用AI證明方程理論，19天進度99.99%！論文即將上線

AIGC動態歡迎閱讀

原標題：陶哲軒用AI證明方程理論，19天進度99.99%！論文即將上線
關鍵字：方程,定理,項目,關系,工具
文章來源：新智元
內容字數：0字

內容摘要：

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

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

聯系作者

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