陶哲軒眾包數學項目完成度99.99%：仍未看到AI工具的重大貢獻

AIGC動態歡迎閱讀

原標題：陶哲軒眾包數學項目完成度99.99%：仍未看到AI工具的重大貢獻
關鍵字：方程,定律,公式,定理,重寫
文章來源：機器之心
內容字數：0字

內容摘要：

機器之心編譯
編輯：杜偉陶哲軒發起的「眾包」數學研究項目終于快要迎來勝利時刻！大約在三周前，陶哲軒提出了一個眾包項目，結合專業和業余數學家、自動定理證明器、AI 工具和證明輔助語言 Lean， 來描述與 4694 條 magma（原群） 方程定律相關的蘊含圖，這些定律可以使用最多四次 magma 操作調用來表達。也即，需要確定這 4694 條定律之間可能蘊含的的真假。
該項目已運行19 天，從已解決的原始蘊含的角度來看，該項目（截至撰寫本文）已完成 99.9963%：待解決的蘊含中，已被證明為真，已被證明為假，只有懸而未決。盡管在這個集合中，也有蘊含推測為假，但可能很快就正式反駁。
出于編譯效率的原因，他們沒有在 Lean 中記錄這些推測中的每一個證明；只在 Lean 中證明一組較小的蘊含，然后通過傳遞性來暗示一組更廣泛的蘊含（例如，使用以下事實：如果方程 X 蘊含方程 Y，且方程 Y 蘊含方程 Z，則方程 X 蘊含方程 Z）；他們還將很快利用蘊含圖的對偶對稱性實現進一步簡化。
除了感謝眾多志愿者為該項目付出的不懈努力，陶哲軒表示現在擁有許多出色的可視化工具來檢查（尚未完成的）蘊含圖的

原文鏈接：陶哲軒眾包數學項目完成度99.99%：仍未看到AI工具的重大貢獻

聯系作者

文章來源：機器之心
作者微信：
作者簡介：