OpenAI十萬億參數新模型Bel預訓練完成OpenAI被曝完成代號“Bel”的10萬億參數超大規模預訓練模型，作爲繼“Doug”後的下一代基座，架構與參數規模大幅躍升，目標直指通用人工智能（AGI）。其在編碼、推理及長時程智能體任務等維度性能表現突出。9 小時前12.1K
數學自動形式化迎來重大突破：OpenBMB開源MathForm，8B模型憑實力逆襲大廠OpenBMB團隊開源數學自動形式化框架、數據集與模型MathForm，目標是用Lean4讓機器準確讀懂並形式化驗證數學定理，攻克通用人工智能核心挑戰。其關鍵不是簡單翻譯自然語言，而是將每個數學概念精準映射到Mathlib庫中，爲數學與AI交叉研究提供新工具。08-2411.8K
