11.11云上盛惠!海量產(chǎn)品 · 輕松上云!云服務(wù)器首年1.8折起,買1年送3個月!超值優(yōu)惠,性能穩(wěn)定,讓您的云端之旅更加暢享??靵眚v訊云選購吧!
在《我的世界》里估算歐拉數(shù)e,誤差僅約0.00766%!兩位數(shù)學(xué)博士“跨界”整了個大大大活兒——用《我的世界》搞數(shù)學(xué)研究,通過游戲機(jī)制成功估算各種數(shù)學(xué)常數(shù)的值?!?、π、歐拉數(shù)e、阿佩里常數(shù)ζ,難度逐級遞增,但都是他們的實驗對象。如果最大公約數(shù)是1,那么這些數(shù)字就是互質(zhì)的。
40多年的計算機(jī)難題——忙碌海貍難題,被一群業(yè)余愛好者攻破了!數(shù)學(xué)大佬陶哲軒轉(zhuǎn)發(fā)了這一消息,并欣慰表示:計算機(jī)科學(xué)家ScottAaronson為此還寫了一篇博文,并大肆贊賞:具體言,人們歷經(jīng)數(shù)十年努力,終于找到了第五個“忙碌海貍”圖靈機(jī):圖靈機(jī)是一種抽象的計算模型,通過讀取和寫入0和1在無限磁帶上進(jìn)行計算。早在40多年前,一群計算機(jī)科學(xué)家在德國多特蒙德舉行競賽,尋找“忙碌海貍”圖靈機(jī)。以至于著名理論計算機(jī)科學(xué)家ScottAaronson發(fā)出感慨:嗯?這話有點(diǎn)耳熟,BB好像也是這樣說的。
陶哲軒成功地用AI工具完成了形式化多項式Freiman-Ruzsa猜想證明過程的工作。他再次呼吁數(shù)學(xué)研究者學(xué)會正確利用AI工具,網(wǎng)友驚呼:以后的數(shù)學(xué)論文不需要人類可讀了?用AI工具輔助研究數(shù)學(xué)的項目,再一次被陶哲軒跑通!三周前,他曾發(fā)布一篇博文,記錄下自己使用Blueprint在Lean4中形式化多項式Freiman-Ruzsa猜想的證明過程。陶哲軒表示,希望在未來的某個時候,前身結(jié)果也能被證明?