<menu id="yw4o4"></menu> 
今日，阿里巴巴全球數(shù)學(xué)競賽頒獎(jiǎng)典禮在杭州召開，馬云為 51 名數(shù)學(xué)獲獎(jiǎng)?wù)攥F(xiàn)場頒獎(jiǎng)。在會(huì)上，馬云表示，外界的傳聞是事實(shí)，第一次參加高考，數(shù)學(xué)考了 0 分，這給社會(huì)上帶來很多誤解。但實(shí)際上，自己數(shù)學(xué)其實(shí)也不算太差，高一時(shí)還是數(shù)學(xué)課代表，但是沒念高二就跨到了文科班，數(shù)學(xué)就不靈了。
（舉報(bào)）
【新智元導(dǎo)讀】AI輔助人類，完成了首個(gè)非平凡研究數(shù)學(xué)證明，破解了50年未解的數(shù)學(xué)難題!在南大校友的研究中，這個(gè)難題中q=3的情況，由o3-mini-high給出了精確解。就在剛剛，AI完成了首個(gè)非平凡研究數(shù)學(xué)證明!完成這項(xiàng)研究的，是美國紐約布魯克海文國家實(shí)驗(yàn)室凝聚態(tài)物理與材料科學(xué)分部的一位華人學(xué)者Weiguo Yin。論文地址:https://arxiv.org/abs/2503.23758在這項(xiàng)研究中，作者在一維J_1-J
DeepSeek發(fā)布數(shù)學(xué)推理模型DeepSeek-Prover-V2，包含7B和671B兩個(gè)參數(shù)版本。該模型采用"遞歸+強(qiáng)化學(xué)習(xí)"訓(xùn)練方法，在MiniF2F測試集上達(dá)到88.9%通過率，解決了PutnamBench中的49道題目。關(guān)鍵技術(shù)包括：1) 使用DeepSeek-V3分解復(fù)雜定理生成子目標(biāo)；2) GRPO算法從多個(gè)候選方案中自動(dòng)學(xué)習(xí)最優(yōu)解；3) 通過思維鏈整合非形式化推理與形式化證明。模型在AIME競賽題和教科書題目上也表現(xiàn)優(yōu)異，7B小模型意外在部分問題上超越大模型。論文指出該方法為通向AGI提供了正確路徑，未來將擴(kuò)展至IMO級(jí)別數(shù)學(xué)難題。
作為“全球貿(mào)易中心”的義烏國際商貿(mào)城屢為天下先。今天，世界上最大的線上批發(fā)商城與世界上最大的線下商城正式簽約，此次合作由阿里巴巴先進(jìn)的AI云技術(shù)提供支撐，共同開啟全球貿(mào)易數(shù)字化新篇章。 4 月 15 日，義烏商城集團(tuán)宣布正式接入阿里通義大模型，結(jié)合阿里巴巴的云計(jì)算、大數(shù)據(jù)和電商等領(lǐng)域的優(yōu)勢，幫助 210 萬中小商家利用AI技術(shù)精準(zhǔn)經(jīng)營，快速出海。簽約儀?
快科技4月17日消息，據(jù)北京亦莊公眾號(hào)消息，4月19日，全球首個(gè)人形機(jī)器人半程馬拉松將在北京亦莊激情開跑。今日，《人形機(jī)器人半程馬拉松競賽規(guī)則》正式發(fā)布。比賽規(guī)則如下：1.起跑站位。參賽機(jī)器人按Z型布陣排成2列，同一列機(jī)器人前后垂直間距為3米。2.發(fā)槍安排。參賽機(jī)器人依次發(fā)槍起跑，每個(gè)參賽機(jī)器人出發(fā)時(shí)間間隔1分鐘，原則上不超過2分鐘。3.行進(jìn)規(guī)則。參賽機(jī)器人間距應(yīng)控制在1米以上，且不得妨礙其他參賽機(jī)器人的正常行進(jìn)。如遇超越，高速機(jī)器人需主動(dòng)繞行低速機(jī)器人。如遇故障，正常行進(jìn)的機(jī)器人需繞行故障機(jī)器人。4.賽道規(guī)則。參
快科技4月18日消息，近日在云南個(gè)舊，一名女子獨(dú)自駕車去考科目一，引發(fā)網(wǎng)友圍觀。交警發(fā)現(xiàn)情況后找到該女子了解情況，當(dāng)被問及為何開車來考試時(shí)，女子略顯尷尬地表示，早上出門太慌了。最終，女子因無證駕駛已被依法處理。無證駕駛的危害不容小覷。它不僅是對(duì)自己寶貴生命安全的極度不負(fù)責(zé)，一旦發(fā)生意外，后果將不堪設(shè)想；同時(shí)，也會(huì)對(duì)他人的生命安全構(gòu)成嚴(yán)?
快科技4月18日消息，據(jù)報(bào)道，阿里巴巴AI模型DAMO PANDA被FDA認(rèn)定為突破性醫(yī)療器械”。DAMO PANDA是阿里巴巴達(dá)摩院研發(fā)的胰腺癌篩查AI模型，可精準(zhǔn)識(shí)別平掃CT影像中的細(xì)微病灶，攻克了胰腺癌早期篩查的國際難題。這也是中國頭部科技企業(yè)首次拿下該項(xiàng)權(quán)威認(rèn)可。達(dá)摩院在國際上率先提出平掃CT AI”篩查方案，聯(lián)合全球頂尖醫(yī)學(xué)機(jī)構(gòu)開發(fā)出DAMO PANDA模型。測試數(shù)據(jù)顯示，其篩查敏感
今日，坐落于阿里巴巴全球總部訪客中心的湖畔小屋”正式面向公眾開放。
阿里集團(tuán)推出新一代開源AI模型"通義千問3"(Qwen3)，包含8款不同規(guī)格的混合推理模型。旗艦型號(hào)Qwen3-235B采用混合專家架構(gòu)，創(chuàng)下國產(chǎn)模型性能新紀(jì)錄；Qwen3-32B則以部署成本低、運(yùn)行穩(wěn)定見長。該系列在邏輯推理、編程、翻譯等專業(yè)領(lǐng)域表現(xiàn)卓越，用戶可通過通義App和網(wǎng)頁版體驗(yàn)。升級(jí)后的通義App整合問答對(duì)話、圖像理解與生成等多項(xiàng)功能，持續(xù)強(qiáng)化代碼生成、數(shù)學(xué)解題等專業(yè)場景應(yīng)用能力，致力于打造實(shí)用性強(qiáng)的個(gè)人AI助手。
快科技4月14日，高德地圖正式宣布推出全球首個(gè)基于地圖的AI導(dǎo)航智能體(NaviAgent)。高德表示，AI導(dǎo)航智能體將推動(dòng)導(dǎo)航由傳統(tǒng)出行工具，向會(huì)思考、能預(yù)判、有溫度”的智能出行伙伴蛻變。據(jù)技術(shù)負(fù)責(zé)人介紹，傳統(tǒng)導(dǎo)航像按劇本演戲，預(yù)設(shè)路線后便機(jī)械執(zhí)行；而我們的智能體更像經(jīng)驗(yàn)豐富的老司機(jī)，能實(shí)時(shí)感知路況、預(yù)判風(fēng)險(xiǎn)并主動(dòng)調(diào)整策略。”例如，它能提前預(yù)判前方路況?
極氪在2025上海車展全球首發(fā)旗艦SUV 9X，該車擁有8項(xiàng)全球之最和1項(xiàng)中國首發(fā)，預(yù)計(jì)第三季度上市。9X配備全球最大一體式格柵、2.15㎡蚌式機(jī)艙蓋、4242顆鉆石切割燈組，車身超5米3。搭載L3級(jí)自動(dòng)駕駛技術(shù)，算力達(dá)1400+TOPS行業(yè)最高，采用寧德時(shí)代6C電池，純電續(xù)航380公里，SOC20%-80%僅需9分鐘。動(dòng)力系統(tǒng)熱效率46%，零百加速3秒級(jí)，極速240km/h。首創(chuàng)48V主動(dòng)穩(wěn)定桿，最大離地間隙288mm，爬坡能力70%。該車集多項(xiàng)行業(yè)頂尖技術(shù)于一身，展現(xiàn)了中國品牌在高端新能源車領(lǐng)域的突破。
