陶哲軒全網懸賞「最強大腦」！AI+人類顛覆數學難題？凡爾賽網友已下場

AIGC動態歡迎閱讀

原標題：陶哲軒全網懸賞「最強大腦」！AI+人類顛覆數學難題？凡爾賽網友已下場
關鍵字：等式,公理,項目,數學,關系
文章來源：新智元
內容字數：0字

內容摘要：

新智元報道編輯：Aeneas 好困
【新智元導讀】最近，陶哲軒向廣大網友和數學愛好者發起了挑戰：大眾數學愛好者、證明助理、自動化助手和AI聯合起來，是否可以證明擴展幾個數量級的數學問題？想參加陶哲軒發起的「眾包」數學研究項目嗎？
機會來了！
AI輔助證明數學研究，越來越可行了在傳統上，一個數學研究項目通常是由1到5名數學專家來完成的。
他們每個人都對項目的各方面都足夠熟悉，可以驗證彼此的貢獻。
但如果要組織起更大規模的數學研究項目，特別是涉及公眾貢獻的項目，就麻煩多了。
原因在于，很難驗證所有人的貢獻。
2023年底，陶哲軒宣布：將多項式Freiman-Ruzsa猜想的證明形式化的Lean4項目，在三周后取得了成功（圖為最新狀態）
要知道，在數學論證某個部分中的單個錯誤，可能就會使整個項目失敗。
而且，以一個典型數學項目的復雜程度來說，期待具有本科數學教育水平的公眾做出有意義的貢獻，也是不現實的。
由此我們也可以知道，把AI工具納入到數學研究項目中，也是極有挑戰性的。
因為AI會生成看似合理但實際上毫無意義的論證，因此需要額外驗證，才能將AI生成的部分添加到項目中。
好在，證明輔助語

原文鏈接：陶哲軒全網懸賞「最強大腦」！AI+人類顛覆數學難題？凡爾賽網友已下場

聯系作者

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