11.11云上盛惠!海量產(chǎn)品 · 輕松上云!云服務(wù)器首年1.8折起,買1年送3個(gè)月!超值優(yōu)惠,性能穩(wěn)定,讓您的云端之旅更加暢享??靵?lái)騰訊云選購(gòu)吧!
DeepSeek發(fā)布數(shù)學(xué)推理模型DeepSeek-Prover-V2,包含7B和671B兩個(gè)參數(shù)版本。該模型采用"遞歸+強(qiáng)化學(xué)習(xí)"訓(xùn)練方法,在MiniF2F測(cè)試集上達(dá)到88.9%通過(guò)率,解決了PutnamBench中的49道題目。關(guān)鍵技術(shù)包括:1) 使用DeepSeek-V3分解復(fù)雜定理生成子目標(biāo);2) GRPO算法從多個(gè)候選方案中自動(dòng)學(xué)習(xí)最優(yōu)解;3) 通過(guò)思維鏈整合非形式化推理與形式化證明。模型在AIME競(jìng)賽題和教科書題目上也表現(xiàn)優(yōu)異,7B小模型意外在部分問(wèn)題上超越大模型。論文指出該方法為通向AGI提供了正確路徑,未來(lái)將擴(kuò)展至IMO級(jí)別數(shù)學(xué)難題。
網(wǎng)紅"湯匙不是鑰匙"(本名匙凱歌)以412分專業(yè)第二的成績(jī)考入北大數(shù)院金融專業(yè)。這位436萬(wàn)粉絲的抖音博主本科畢業(yè)于東北財(cái)經(jīng)大學(xué),曾獲全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽非數(shù)學(xué)組全國(guó)第二名。其女友"魚醬"是300萬(wàn)粉絲的網(wǎng)紅Coser。抖音副總裁李亮發(fā)文祝賀,北大表示錄取只看成績(jī)。湯匙通過(guò)短視頻分享數(shù)學(xué)學(xué)習(xí)方法走紅,考研成績(jī)公布時(shí)已引發(fā)關(guān)注。
【新智元導(dǎo)讀】AI輔助人類,完成了首個(gè)非平凡研究數(shù)學(xué)證明,破解了50年未解的數(shù)學(xué)難題!在南大校友的研究中,這個(gè)難題中q=3的情況,由o3-mini-high給出了精確解。就在剛剛,AI完成了首個(gè)非平凡研究數(shù)學(xué)證明!完成這項(xiàng)研究的,是美國(guó)紐約布魯克海文國(guó)家實(shí)驗(yàn)室凝聚態(tài)物理與材料科學(xué)分部的一位華人學(xué)者Weiguo Yin。論文地址:https://arxiv.org/abs/2503.23758在這項(xiàng)研究中,作者在一維J_1-J
據(jù)報(bào)道,近日,有網(wǎng)友在招聘網(wǎng)站發(fā)現(xiàn),比亞迪公司正在招聘初中數(shù)學(xué)老師。比亞迪也開學(xué)校了嗎?對(duì)此,深圳亞迪學(xué)校招生辦公室老師表示,比亞迪招聘的確實(shí)是亞迪學(xué)校的初中數(shù)學(xué)老師。深圳中學(xué)在亞迪學(xué)校的管理中,首先提出了三證換一證”的思想:每位學(xué)生以德育考核合格者”、學(xué)習(xí)成績(jī)合格證”及技能特長(zhǎng)合格證”換取亞迪學(xué)校的畢業(yè)證”。
3月26日,在山東省的某所學(xué)校內(nèi),一堂普通的語(yǔ)文課因?yàn)橐幻猩摹疤貏e舉動(dòng)”變得不同尋常。這名男生在課堂進(jìn)行中,竟然在課桌的隱蔽處悄悄做起了數(shù)學(xué)作業(yè)。這次意外的課堂插曲,不僅讓師生們?cè)诰o張的學(xué)習(xí)生活中增添了一份輕松的笑料,也促使大家反思了學(xué)習(xí)態(tài)度和方法的重要性。
【新智元導(dǎo)讀】685B的DeepSeek-V3新版本,就在昨夜悄悄上線了。參數(shù)量685B的V3,代碼數(shù)學(xué)推理再次顯著提升,甚至代碼追平Claude3.7,網(wǎng)友們實(shí)測(cè)后大呼強(qiáng)到離譜!有人預(yù)測(cè)說(shuō),按照此前的節(jié)奏,DeepSeek-R2大概率幾周內(nèi)就將上線。誰(shuí)將通過(guò)AI擁有對(duì)世界最大的影響力?讓我們拭目以待。
18日,LG公開了韓國(guó)首個(gè)推理型AI大模型——一種像人類一樣經(jīng)過(guò)邏輯性和階段性的思考過(guò)程后得出答案的AI模型——它與從已學(xué)習(xí)的數(shù)據(jù)中尋找答案的傳統(tǒng)模型有所不同。來(lái)自中國(guó)的Deepseek以低成本、高性能震驚全世界,甚至撼動(dòng)了“AI先鋒”O(jiān)penAI的地位。LG計(jì)劃逐步以B2B的形式擴(kuò)大服務(wù)。
今天是3月14日,也是圓周率日”是國(guó)際數(shù)學(xué)日”,目前3.14是圓周率最常用的近似值之一,利用超級(jí)計(jì)算機(jī),現(xiàn)在可將圓周率計(jì)算到小數(shù)點(diǎn)后62.8萬(wàn)億位。今天數(shù)學(xué)濃度太高了。2021年8月17日,瑞士研究人員使用一臺(tái)超級(jí)計(jì)算機(jī)歷時(shí)108天將圓周率計(jì)算到小數(shù)點(diǎn)后62.8萬(wàn)億位,創(chuàng)下該常數(shù)迄今最精確值紀(jì)錄。
“數(shù)學(xué)真的太難學(xué)了!”隨著新課標(biāo)、新教材的實(shí)施,這屆家長(zhǎng)感到“很焦慮”。如何幫孩子快速適應(yīng)數(shù)學(xué)新課標(biāo)的要求,發(fā)展學(xué)生的核心素養(yǎng),真正學(xué)好數(shù)學(xué),成為了家長(zhǎng)們最關(guān)心的話題。針對(duì)新課標(biāo)引領(lǐng)下的數(shù)學(xué)學(xué)習(xí)新趨勢(shì),科大訊飛AI學(xué)習(xí)機(jī)團(tuán)隊(duì)與義務(wù)教育數(shù)學(xué)課程標(biāo)準(zhǔn)修訂組組長(zhǎng)、大中小學(xué)數(shù)學(xué)國(guó)家教材建設(shè)重點(diǎn)研究基地主任、北京師范大學(xué)曹一鳴教授團(tuán)隊(duì)“有話要說(shuō)
3月5日,在湖北武漢光谷第二高級(jí)中學(xué)的高三二調(diào)表彰會(huì)暨百日誓師活動(dòng)中,一位高三數(shù)學(xué)老師的演講在網(wǎng)絡(luò)上迅速走紅,引發(fā)了廣泛關(guān)注和討論。這位老師在演講中提出了一個(gè)引人深思的問(wèn)題:“有了AI為什么還要讀書?”他隨后用唐僧取經(jīng)的故事進(jìn)行類比,指出“使唐僧成為唐僧的不是經(jīng)書是取經(jīng)之路”。這一觀點(diǎn)深刻揭示了讀書和成長(zhǎng)之間的內(nèi)在聯(lián)系,強(qiáng)調(diào)了讀書不僅僅是?