AI助攻「菜鳥數(shù)學(xué)家」解決忙碌海貍問題，陶哲軒轉(zhuǎn)發(fā)分享

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

原標(biāo)題：AI助攻「菜鳥數(shù)學(xué)家」解決忙碌海貍問題，陶哲軒轉(zhuǎn)發(fā)分享
關(guān)鍵字：圖靈機(jī),數(shù)學(xué),問題,規(guī)則,素數(shù)
文章來源：機(jī)器之心
內(nèi)容字?jǐn)?shù)：0字

內(nèi)容摘要：

機(jī)器之心報道
編輯：大盤雞、佳琪????在 AI 的幫助下，越來越多的數(shù)學(xué)問題得到了解決。AI在數(shù)學(xué)領(lǐng)域的應(yīng)用對大家來說并不陌生了。數(shù)學(xué)家陶哲軒作為倡導(dǎo)者，一直走在使用AI輔助證明的前沿。他倡導(dǎo)使用像Lean和Coq這樣的證明助手工具。這些工具可以形式化和驗(yàn)證復(fù)雜的數(shù)學(xué)證明，減少人為錯誤的可能性。也有不少數(shù)學(xué)家在他的啟發(fā)下有了新成果，例如利用AI形式化費(fèi)馬大定理的證明。他參與了由Talia Ringer發(fā)起的AI在數(shù)學(xué)中資源列表的推廣和編輯工作。這個資源列表專注于 AI for Math，為那些希望進(jìn)入數(shù)學(xué) AI 領(lǐng)域的人提供幫助。
陶哲軒在推進(jìn)項(xiàng)目研究進(jìn)展的同時，還試著學(xué)習(xí)如何創(chuàng)建動畫圖表，他決定對零密度估計進(jìn)行文獻(xiàn)回顧 。他講到，自己一直很好奇為什么沒有一份全面的綜述來涵蓋這些年來建立的所有零密度定理，現(xiàn)在他清楚了，是因?yàn)槲墨I(xiàn)太過復(fù)雜，尤其在3/4≤σ＜1的這個范圍， 使用了多種方法。界限通常是逐段的，主要是因?yàn)檫@些方法依賴于控制整數(shù)矩而不是分?jǐn)?shù)矩。然而，這些界限雖然以人類可讀形式陳述時顯得雜亂，但對計算機(jī)來說卻很容易處理。陶哲軒將所有的界限匯總到一個Python文件中，并用它創(chuàng)建

原文鏈接：AI助攻「菜鳥數(shù)學(xué)家」解決忙碌海貍問題，陶哲軒轉(zhuǎn)發(fā)分享

聯(lián)系作者

文章來源：機(jī)器之心
作者微信：almosthuman2014
作者簡介：專業(yè)的人工智能媒體和產(chǎn)業(yè)服務(wù)平臺