OpenAI十万亿参数新模型Bel预训练完成OpenAI被曝完成代号“Bel”的10万亿参数超大规模预训练模型，作为继“Doug”后的下一代基座，架构与参数规模大幅跃升，目标直指通用人工智能（AGI）。其在编码、推理及长时程智能体任务等维度性能表现突出。9 小时前10.9K
数学自动形式化迎来重大突破：OpenBMB开源MathForm，8B模型凭实力逆袭大厂OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。08-2411.8K
