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

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

內容摘要：

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

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

聯(lián)系作者

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