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評分標準 ... more 觀看全文

24/12/2025 11:58

【AI】深勢科技完成超8億元人民幣C輪融資

  《經濟通通訊社24日專訊》據深勢科技微信公眾號消息,公司宣布完成總額超8億人民幣的C輪融資,本輪融資由達晨財智、京國瑞基金、北京市人工智能產業投資基金、北京市醫藥健康產業投資基金、聯想創投、元禾璞華等機構共同出資。   官網顯示,深勢科技成立於2018年,是全球AI for Science的開拓 ... more 觀看全文

1

放大顯示
精選影片
人氣文章
財經新聞
評論
專題
  • 生活
  • DIVA
  • 健康好人生
專業版
HV2
精裝版
SV2
串流版
IQ 登入
強化版
TQ
強化版
MQ

etnet初心不變 風雨無阻 與你並肩投資路,立即加入成為etnet YouTube頻道會員!

獨家優惠【etnet x 環球海產】 用戶專享全場95折,特價貨品更可折上折,立即選購五星級酒店御用海鮮!

樂本健 x etnet健康網購 | 購物滿額即送免費禮品

大國博弈

回顧25 展望26

貨幣攻略

說說心理話

Watch Trends 2025

北上食買玩

Wonder in Art

理財秘笈

山今養生智慧

輕鬆護老

照顧者 情緒健康