相關推薦
降低數學科研門檻:Mistral AI 發佈開源模型 Leanstral 1.5
Mistral AI發佈專爲Lean4設計的開源模型Leanstral1.5,採用Apache-2.0許可。該模型總參數119B,僅6B激活參數,兼顧高性能與低成本。在miniF2F形式數學基準中,驗證集和測試集均達100%完成率,並已挑戰Putnam等高難度推理任務。
Jul 6, 2026
120.8k
Mistral AI開源數學證明利器:119B參數只激活6B,解題成本僅爲競品百分之一
歐洲Mistral AI推出數學形式化證明模型Leanstral 1.5,專爲Lean4語言,總參數119B但推理僅激活6B,以極低開銷和Apache-2.0許可完全開源。在miniF2F基準上驗證集和測試集均達100%完成率,PutnamBench同樣表現驚人。
Jul 6, 2026
133.1k
可靈AI 獲 30 億美元融資,估值達 180 億美元創視頻大模型融資紀錄
7月2日,快手可靈AI獲近30億美元融資,投後估值達180億美元,刷新全球視頻大模型融資紀錄。本輪由CPE源峯、國方創投、BlueFive、騰訊、中關村科學城基金、中信證券聯合領投,標誌其獨立商業化正式啓航。
Jul 3, 2026
149.0k
警惕詐騙風險!月之暗面發佈聲明:融資僅限公司直管
“月之暗面”6月29日嚴正聲明,澄清市場上假借其名義散佈的不實融資和股權轉讓信息,直指部分機構和個人涉嫌欺詐。公司強調所有融資由其直接負責,從未授權任何第三方擔任財務顧問,亦無委託處理新股或老股交易,提請公衆謹防上當。
Jun 29, 2026
179.9k
法國 AI 初創企業 Mistral AI 發佈 OCR4模型:覆蓋170種語言,交互體驗更人性化
法國Mistral AI推出OCR4文檔識別模型,支持跨越10個語族的170種語言。該模型在OmniDocBench測試中獲93.07分,輸出準確自然,用戶體驗優於GPT5.5Pro和Gemini3.1Pro。
Jun 26, 2026
236.1k
