<menu id="yw4o4"></menu> 
【新智元導(dǎo)讀】「忙碌海貍」難題困擾了計算機科學(xué)家40多年。如今，來自全球各地20+業(yè)余開發(fā)者和數(shù)學(xué)家們，終于取得了突破性進(jìn)展。他們抓到了第五只忙碌海貍——用Coq輔助證明，得到答案47176870。對此陶哲軒激動地表示，這再次體現(xiàn)了證明助手對數(shù)學(xué)研究協(xié)作的重要性。40多年的計算
......
本文由站長之家合作伙伴自媒體作者“新智元公眾號”授權(quán)發(fā)布于站長之家平臺，本平臺僅提供信息索引服務(wù)。由于內(nèi)容發(fā)布時間超過平臺更新維護(hù)時間，為了保證文章信息的及時性，內(nèi)容觀點的準(zhǔn)確性，平臺將不提供完全的內(nèi)容展現(xiàn)，本頁面內(nèi)容僅為平臺搜索索引使用。需閱讀完整內(nèi)容的用戶，請查看原文，獲取內(nèi)容詳情。
（舉報）
【新智元導(dǎo)讀】AI輔助人類，完成了首個非平凡研究數(shù)學(xué)證明，破解了50年未解的數(shù)學(xué)難題!在南大校友的研究中，這個難題中q=3的情況，由o3-mini-high給出了精確解。就在剛剛，AI完成了首個非平凡研究數(shù)學(xué)證明!完成這項研究的，是美國紐約布魯克海文國家實驗室凝聚態(tài)物理與材料科學(xué)分部的一位華人學(xué)者Weiguo Yin。論文地址:https://arxiv.org/abs/2503.23758在這項研究中，作者在一維J_1-J
網(wǎng)紅"湯匙不是鑰匙"（本名匙凱歌）以412分專業(yè)第二的成績考入北大數(shù)院金融專業(yè)。這位436萬粉絲的抖音博主本科畢業(yè)于東北財經(jīng)大學(xué)，曾獲全國大學(xué)生數(shù)學(xué)競賽非數(shù)學(xué)組全國第二名。其女友"魚醬"是300萬粉絲的網(wǎng)紅Coser。抖音副總裁李亮發(fā)文祝賀，北大表示錄取只看成績。湯匙通過短視頻分享數(shù)學(xué)學(xué)習(xí)方法走紅，考研成績公布時已引發(fā)關(guān)注。
在人工智能飛速發(fā)展的今天，LLM的能力令人嘆為觀止，但其局限性也日益凸顯——它們往往被困于訓(xùn)練數(shù)據(jù)的「孤島」，無法直接觸及實時信息或外部工具。2024年11月，Anthropic推出了開源協(xié)議MCP，旨在為AI模型與外部數(shù)據(jù)源和工具之間的交互提供一個通用、標(biāo)準(zhǔn)化的連接方式。隨著技術(shù)的不斷發(fā)展，我們期待MCP能夠克服這些挑戰(zhàn)，充分發(fā)揮其潛力，為行業(yè)帶來更多價值。
谷歌母公司Alphabet公布2025財年第一季度財報，營收902.3億美元同比增長12%，凈利潤345.4億美元大增46%，均超市場預(yù)期。核心廣告和云業(yè)務(wù)保持強勁增長，YouTube訂閱等業(yè)務(wù)也貢獻(xiàn)穩(wěn)定收入。CEO皮查伊特別強調(diào)AI領(lǐng)域突破，Gemini 2.5 Pro獲開發(fā)者高度認(rèn)可，AI工具用戶數(shù)激增200%。公司內(nèi)部AI輔助代碼占比從25%提升至30%，正在研發(fā)更先進(jìn)的AI代理工作流以優(yōu)化開發(fā)效率。受亮眼業(yè)績推動，盤后股價一度漲超5%。
據(jù)博主智慧芯片案內(nèi)人”介紹，華為MateXT三折疊旗艦的銷量已經(jīng)超過40萬。作為一款定價超過2萬元的產(chǎn)品來說，這個成績已經(jīng)是非常成功。影像方面采用了XMAGE三攝系統(tǒng)，包括5000萬像素主攝、1200萬像素超廣角和1200萬像素潛望長焦。
日產(chǎn)汽車公布了3月份中國區(qū)業(yè)績。日產(chǎn)汽車中國區(qū)3月銷量為44，409臺，同比下降25.88%，去年同期為59，914臺。如果日系車不能迅速跟進(jìn)的話，很可能會步法系車在中國的后塵。
智能機器人“小軀干”在拍賣活動中以56,806元成交，展現(xiàn)出卓越性能與科技藝術(shù)結(jié)合的獨特魅力，吸引了近4萬名網(wǎng)友在線圍觀，驗證了先進(jìn)技術(shù)和仿生學(xué)的深度融合。該機器人不僅具備穩(wěn)定的現(xiàn)場表現(xiàn)，還開啟了新的旅程，為機器人的技術(shù)價值與市場潛力提供認(rèn)可，也為未來探索更多可能性奠定了基礎(chǔ)。
上周，樂道汽車迎來了新總裁沈斐，他是蔚來的核心成員之一，也是蔚來能源的得力干將。此次組織調(diào)整，代表蔚來將向樂道投入更強的管理資源，推動樂道加速提振銷量就在今日，官方推出了針對樂道L60的購車優(yōu)惠加碼升級活動，共計4.4萬元。樂道所接入的蔚來能源已在全國建設(shè)超3200座換電站，其中高速公路換電站近1000座，后續(xù)蔚來公司將在加電基建方面持續(xù)布局，加速實現(xiàn)加電縣縣通”。
聯(lián)發(fā)科天璣9500芯片規(guī)格曝光，將成為安卓史上最強SoC。采用臺積電N3P工藝打造，CPU升級為全新1+3+4架構(gòu)（1個Travis超大核+3個Alto大核+4個Gelas小核），其中Travis和Alto基于Arm新一代X9架構(gòu)，支持SME指令集。GPU采用全新Immortalis-Drage架構(gòu)，提升光追性能并降低功耗。NPU 9.0算力預(yù)計達(dá)100TOPS，AI性能大幅提升。跑分將突破400萬，超越安卓天花板。配備16MB L3緩存、10MB SLC，支持LPDDR5x內(nèi)存和UFS4.1存儲。預(yù)計9月亮相，首批搭載機型包括vivo X300系列和OPPO Find X9系列。
特斯拉在美國為Model Y推出"加速增強"升級服務(wù)，售價2000美元（約14467元人民幣）。該服務(wù)通過軟件升級提升100馬力動力，使0-96公里/小時加速時間從4.6秒縮短至4.2秒。類似服務(wù)去年11月曾在中國市場推出，Model 3升級后加速提升0.6秒至3.8秒。這種通過軟件解鎖性能的模式已成特斯拉特色，但實際提升效果對普通用戶意義有限，更適合追求極致性能的車主。特斯拉未公布具體升級數(shù)據(jù)，實際購買人數(shù)仍是謎團(tuán)。
