標(biāo)簽:數(shù)學(xué)家
2024阿貝爾獎(jiǎng)得主致年輕數(shù)學(xué)家:你們選擇了絕對(duì)正確且完美的領(lǐng)域
新智元報(bào)道編輯:編輯部 【新智元導(dǎo)讀】2024年阿貝爾獎(jiǎng)得主Michel Talagrand向年輕數(shù)學(xué)家分享建議的視頻引發(fā)了網(wǎng)友關(guān)于數(shù)學(xué)學(xué)習(xí)方法論的探討。學(xué)無(wú)定法,但是...
AI將是數(shù)學(xué)家的得力助手,陶哲軒談AI在證明過(guò)程中的潛力
機(jī)器之心報(bào)道 編輯:大盤(pán)雞AI 將大大提高數(shù)學(xué)研究的效率。陶哲軒是公認(rèn)的數(shù)學(xué)天才,被譽(yù)為「數(shù)學(xué)神童」。他從小便展現(xiàn)出驚人的數(shù)學(xué)天賦,9 歲時(shí)就參加了美國(guó)...
陶哲軒最新采訪:AI將顛覆數(shù)學(xué)界!用Lean規(guī)模化,成百上千條定理一次秒殺
新智元報(bào)道編輯:庸庸 喬楊 【新智元導(dǎo)讀】陶哲軒在最新的采訪中,系統(tǒng)地談到了AI可能會(huì)對(duì)數(shù)學(xué)領(lǐng)域產(chǎn)生的影響。他樂(lè)觀地認(rèn)為,使用Lean等工具「形式化」數(shù)學(xué)...
有望解決一個(gè)千禧年大獎(jiǎng)難題,這個(gè)20多年前的猜想終于得到證明
選自quantamagazine 作者:Leila Sloman 機(jī)器之心編譯 編輯:Panda在數(shù)學(xué)抽象方面,最簡(jiǎn)單的莫過(guò)于圖(graph)了。在平面上散放一些點(diǎn),用線將其中一些連接起...
圖靈逝世七十:重新認(rèn)識(shí)那個(gè)群星閃耀的時(shí)代|甲子光年
微風(fēng)有時(shí)送來(lái)一個(gè)信號(hào)。作者|甲小姐 今天是圖靈逝世70年。在我心中,圖靈是一個(gè)節(jié)點(diǎn)式人物。從計(jì)算機(jī)的基本思想(圖靈機(jī)),最初概念的摸索(人工智能是什么...
黎曼猜想突破作者首次公開(kāi)講解,陶哲軒送上總結(jié)
機(jī)器之心報(bào)道 機(jī)器之心編輯部滿滿一黑板的「天書(shū)」,會(huì)是「猜想界皇冠」破解的開(kāi)始嗎?昨天,有關(guān)試證黎曼猜想的新研究又一次引爆了數(shù)學(xué)圈。 MIT 數(shù)學(xué)教授 La...
陶哲軒力推36歲菲爾茲獎(jiǎng)得主新論文,指向黎曼猜想重大突破!
新智元報(bào)道編輯:編輯部 【新智元導(dǎo)讀】MIT數(shù)學(xué)教授Larry Guth和牛津大學(xué)菲爾茲獎(jiǎng)得主James Maynard的一篇新論文獲得了數(shù)學(xué)家陶哲軒的大力推薦,陶認(rèn)為兩人在...
黎曼猜想顯著突破!陶哲軒強(qiáng)推MIT、牛津新論文,37歲菲爾茲獎(jiǎng)得主參與
機(jī)器之心報(bào)道 機(jī)器之心編輯部最近,被稱(chēng)為千禧年七大難題之一的黎曼猜想迎來(lái)了新突破。黎曼猜想是數(shù)學(xué)中一個(gè)非常重要的未解決問(wèn)題,與素?cái)?shù)分布的精確性質(zhì)有關(guān)...
克雷研究所100萬(wàn)美元獎(jiǎng)金要?dú)wAI了數(shù)學(xué)界規(guī)則大改,未來(lái)數(shù)學(xué)家如何應(yīng)對(duì)「海量猜想」
新智元報(bào)道編輯:LRS 【新智元導(dǎo)讀】數(shù)學(xué)領(lǐng)域,以其廉價(jià)的數(shù)據(jù)及問(wèn)題的嚴(yán)謹(jǐn)性,成為了人工智能輔助發(fā)現(xiàn)的理想試驗(yàn)場(chǎng),但唯有人類(lèi)自己,才能區(qū)分出好猜想和壞...
中國(guó)數(shù)學(xué)的10個(gè)問(wèn)題,其實(shí)豈止是數(shù)學(xué)!
數(shù)學(xué)家丘成桐談到 中國(guó)數(shù)學(xué)水平不及美國(guó)1940年代! 一石激起千層浪,很多人奮起反駁。 這只是表面現(xiàn)象, 其實(shí)他講到的中國(guó)數(shù)學(xué)的另外10點(diǎn)更加重要。 以下這十...
中國(guó)需要數(shù)學(xué)家
數(shù)學(xué)是科學(xué)的皇后壹大國(guó)的崛起是數(shù)學(xué)的崛起。 表面上數(shù)學(xué)與國(guó)家強(qiáng)盛毫無(wú)關(guān)系,但如果細(xì)究發(fā)展動(dòng)因,最后會(huì)明白,數(shù)學(xué)才是社會(huì)發(fā)展最底層的引擎。 1854年之前...
86歲「最會(huì)賺錢(qián)的數(shù)學(xué)家」Jim Simons去世,量化投資一代傳奇落幕!
新智元報(bào)道編輯:?jiǎn)虠?好困 【新智元導(dǎo)讀】Simons基金會(huì)宣布了創(chuàng)始人Jim Simons逝世的消息,他的去世引發(fā)了金融界、科技界和數(shù)學(xué)界等多個(gè)領(lǐng)域的悼念。他年輕...
丘成桐院士最新演講:中國(guó)現(xiàn)今的數(shù)學(xué)處于什么水平?為什么物質(zhì)獎(jiǎng)勵(lì)不奏效?
2024年4月30日丘成桐院士在華中科技大學(xué)做“中國(guó)數(shù)學(xué)的現(xiàn)狀和將來(lái)”的講座。來(lái)源:知本論綜合數(shù)學(xué)物理math、華中科技大學(xué)研究生 、胡哥的讀書(shū)觀影筆記 來(lái)源:華...
跨越300多年的接力:受陶哲軒啟發(fā),數(shù)學(xué)家決定用AI形式化費(fèi)馬大定理的證明
機(jī)器之心報(bào)道 編輯:張倩在陶哲軒的啟發(fā)下,越來(lái)越多的數(shù)學(xué)家開(kāi)始嘗試?yán)萌斯ぶ悄苓M(jìn)行數(shù)學(xué)探索。這次,他們瞄準(zhǔn)的目標(biāo)是世界十大最頂尖數(shù)學(xué)難題之一的費(fèi)馬大...
AI攻克費(fèi)馬大定理?數(shù)學(xué)家放棄5年職業(yè)生涯,將100頁(yè)證明變代碼
新智元報(bào)道編輯:Aeneas 好困 【新智元導(dǎo)讀】困擾全世界幾個(gè)世紀(jì)的「臭名昭著」謎題——費(fèi)馬大定理,或?qū)⒈籄I攻克?一位英國(guó)數(shù)學(xué)家宣布,即將啟動(dòng)用Lean重現(xiàn)費(fèi)...