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