11.11云上盛惠!海量產(chǎn)品 · 輕松上云!云服務(wù)器首年1.8折起,買(mǎi)1年送3個(gè)月!超值優(yōu)惠,性能穩(wěn)定,讓您的云端之旅更加暢享??靵?lái)騰訊云選購(gòu)吧!
OpenAI連更兩彈,又將o1模型推向全網(wǎng)最高潮。就連奧特曼本人激動(dòng)地預(yù)告,「迫不及待期待著下周的Day3發(fā)布,感覺(jué)周一是那么地遙遠(yuǎn)」。他加入OpenAI之前,曾是ConvergentResearch的創(chuàng)始人、風(fēng)險(xiǎn)投資人和合伙人;在那里,他幫助創(chuàng)辦了多個(gè)「登月」科學(xué)組織,包括LeanFro。
57天,人類和AI合作搞定了4694個(gè)等式之間22028942個(gè)蘊(yùn)含關(guān)系!大神陶哲軒激動(dòng)宣布:等式理論計(jì)劃,成功?!暗仁嚼碚撚?jì)劃”,由陶哲軒本人在2024年9月25日發(fā)起,目的是探索按蘊(yùn)含關(guān)系排序的原群等式理論空間。△ShreyasSrinivas主頁(yè)P(yáng)ietroMonticone還和他特倫托大學(xué)的同事們一起搞過(guò)指數(shù)3的費(fèi)馬大定理的Lean版證明。
【新智元導(dǎo)讀】最近,陶哲軒向廣大網(wǎng)友和數(shù)學(xué)愛(ài)好者發(fā)起了挑戰(zhàn):大眾數(shù)學(xué)愛(ài)好者、證明助理、自動(dòng)化助手和AI聯(lián)合起來(lái),是否可以證明擴(kuò)展幾個(gè)數(shù)量級(jí)的數(shù)學(xué)問(wèn)題?想?yún)⒓犹照苘幇l(fā)起的「眾包」數(shù)學(xué)研究項(xiàng)目嗎?機(jī)會(huì)來(lái)了!AI輔助證明數(shù)學(xué)研究,越來(lái)越可行了在傳統(tǒng)上,一個(gè)數(shù)學(xué)研究項(xiàng)目通常是由1到5名數(shù)學(xué)專家來(lái)完成的。他們每個(gè)人都對(duì)項(xiàng)目的各方面都足夠熟悉,可以驗(yàn)證彼此?
自從OpenAI發(fā)布了新模型o1后,它就承包了AI領(lǐng)域近幾天的熱搜:有人用門(mén)薩智商測(cè)試題「拷問(wèn)」它,竟測(cè)得o1智商高達(dá)120;數(shù)學(xué)大佬陶哲軒要求o1回答一個(gè)措辭含糊的數(shù)學(xué)問(wèn)題,最終得出一個(gè)結(jié)論:o1是個(gè)平庸但不無(wú)能的研究生;還有一位天體物理學(xué)論文作者,僅用6次Prompt,就讓o1系列模型在1小時(shí)內(nèi),創(chuàng)建了代碼運(yùn)行版本,這可是他博士生期間10個(gè)月的工作量?;蛟S這意味著,隨著OpenAI
OpenAIo1,在門(mén)薩智商測(cè)試中果然取得了第一名。數(shù)學(xué)大神陶哲軒實(shí)測(cè)發(fā)現(xiàn),o1竟然能成功識(shí)別出克萊姆定理。HyungWonChung則表示,模型對(duì)哲學(xué)問(wèn)題的思考過(guò)程頗為引人入勝。
40多年的計(jì)算機(jī)難題——忙碌海貍難題,被一群業(yè)余愛(ài)好者攻破了!數(shù)學(xué)大佬陶哲軒轉(zhuǎn)發(fā)了這一消息,并欣慰表示:計(jì)算機(jī)科學(xué)家ScottAaronson為此還寫(xiě)了一篇博文,并大肆贊賞:具體言,人們歷經(jīng)數(shù)十年努力,終于找到了第五個(gè)“忙碌海貍”圖靈機(jī):圖靈機(jī)是一種抽象的計(jì)算模型,通過(guò)讀取和寫(xiě)入0和1在無(wú)限磁帶上進(jìn)行計(jì)算。早在40多年前,一群計(jì)算機(jī)科學(xué)家在德國(guó)多特蒙德舉行競(jìng)賽,尋找“忙碌海貍”圖靈機(jī)。以至于著名理論計(jì)算機(jī)科學(xué)家ScottAaronson發(fā)出感慨:嗯?這話有點(diǎn)耳熟,BB好像也是這樣說(shuō)的。
數(shù)學(xué)大佬陶哲軒力薦,哈佛反向?qū)W習(xí)法火了:教會(huì)AI就是教會(huì)自己。他最新分享了哈佛應(yīng)用數(shù)學(xué)和應(yīng)用物理學(xué)教授MichaelP.Brenner的一個(gè)教學(xué)方法——利用提示工程,讓學(xué)生嘗試教AI完成平時(shí)數(shù)學(xué)作業(yè),期末再讓這些AI參加考試。課程介紹是醬嬸兒的:簡(jiǎn)單說(shuō),就是在學(xué)習(xí)烹飪的過(guò)程中了解科學(xué)原理,諸如分子如何影響風(fēng)味、熱量在烹飪中的作用……且特別強(qiáng)調(diào),做出來(lái)的東西要能吃。
【新智元導(dǎo)讀】19秒破解幾何難題,谷歌AI奪得IMO銀牌在業(yè)界掀起了巨震。就連菲爾茲獎(jiǎng)得主陶哲軒,前IMO美國(guó)隊(duì)負(fù)責(zé)人羅博深都對(duì)此大加贊賞。它甚至可能提出引起共鳴的新奇想法。
【新智元導(dǎo)讀】沖鋒在AI輔助數(shù)學(xué)研究第一線的陶哲軒,近日又有「神總結(jié)」:ChatGPT提升的,是我們?cè)诰幋a、圖表等次要任務(wù)上的能力;真要搞好數(shù)學(xué)研究,基礎(chǔ)不扎實(shí)的話,AI也是沒(méi)用的。使用ChatGPT一年半了,陶哲軒的感想如何?最近,一直沖鋒在探索AI輔助研究功能前線的數(shù)學(xué)大神陶哲軒,總結(jié)了ChatGPT對(duì)自己數(shù)學(xué)研究過(guò)程的幫助。大神畢竟是大神,陶哲軒很快又再一次跑通了?
「忙碌海貍」難題困擾了計(jì)算機(jī)科學(xué)家40多年。來(lái)自全球各地20業(yè)余開(kāi)發(fā)者和數(shù)學(xué)家們,終于取得了突破性進(jìn)展?!该β岛X偺魬?zhàn)帶給我的是一種非常深刻的信念,它是一種非常有效的研究方式」。