24/12/2025 13:38
【AI】字節跳動發布形式化數學推理專用模型Seed Prover 1.5
《經濟通通訊社24日專訊》字節跳動Seed團隊宣布推出形式化數學推理專用模型Seed Prover 1﹒5。據介紹,相比上一代模型,Seed Prover 1﹒5在16﹒5小時內,針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼,換算成績為35╱42,達到此前IMO評分標準 ...
觀看全文
24/12/2025 11:58
《經濟通通訊社24日專訊》據深勢科技微信公眾號消息,公司宣布完成總額超8億人民幣的C輪融資,本輪融資由達晨財智、京國瑞基金、北京市人工智能產業投資基金、北京市醫藥健康產業投資基金、聯想創投、元禾璞華等機構共同出資。 官網顯示,深勢科技成立於2018年,是全球AI for Science的開拓 ...
觀看全文
23/12/2025 17:22 【AI】春晚AI冠名落定:火山引擎將登台、豆包亦參與
23/12/2025 13:19 【AI】記者起訴AI公司未經授權使用其作品,xAI首次被列為被告
23/12/2025 11:44 【AI】釘釘發布首個工作智能操作系統Agent OS
22/12/2025 08:50 【AI】摩爾線程新一代GPU架構「花港」發布:能效提升10倍
19/12/2025 18:53 【AI】政府委任邱達根為AI效能提升組副組長,為期兩年
19/12/2025 17:20 【AI】白宮宣布24家科企加入「創世任務」,協助美國政府推…
19/12/2025 14:36 【AI】豆包App生成視頻功能升級,一鍵生成聲音畫面相匹配…
19/12/2025 11:41 【AI】字節跳動據報正推進與vivo等多家廠商開展AI手機…
19/12/2025 09:29 【AI】銀河通用機器人完成新一輪融資,規模超3億美元刷新行…
18/12/2025 17:58 【AI】美團發布並開源SOTA級虛擬人視頻生成模型
18/12/2025 15:39 【AI】南航與阿里雲聯合發布「天盾」安全大模型,主要用於飛行訓練等
18/12/2025 14:38 【AI】微軟或將與Kimi合作AI Agent功能,實現Office產品自動化
18/12/2025 11:05 【AI】火山引擎正式發布豆包大模型1.8,具備更強多模態Agent能力
18/12/2025 10:33 【AI】阿里千問App接入首個阿里生態場景高德,能調用地圖、掃街榜等即時生成相關建議
18/12/2025 10:27 【AI】美國FTC調查新鮮食品電商Instacart的AI定價工具
18/12/2025 09:12 【AI】英偉達資深董事持股近30年後,拋售4400萬美元股份
18/12/2025 08:56 【AI】甲骨文三個月累跌48﹒5%,AI產業泡沫風險加劇
18/12/2025 08:36 【AI】中國「曼哈頓計劃」攻關AI芯片,國產EUV光刻機深圳秘密測試
1