AI 圈大事记

陶哲轩代表SAIR启动开放数学模型计划

模型AI 评分 80/100量子位待复核
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手

2026年9月18日,菲尔兹奖得主陶哲轩代表SAIR Foundation启动“开放数学模型计划”。该计划旨在构建面向数学研究的开放权重模型及开源工具,首阶段聚焦理解论证、核对文献与形式化证明等场景。项目遵循开放权重与可复现评测原则,即日起征集资金、算力及合作伙伴,成果将以Apache 2.0等开放许可共享。

为什么值得看

顶尖数学家牵头构建科研专用开源模型,推动AI在基础科学领域的开放应用。

算力

信源1

  1. [1]量子位陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”

关键事实

  • 陶哲轩代表SAIR Foundation于2026年9月18日启动“开放数学模型计划”[1]

  • 首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景[1]

  • 模型将提供开放许可权重与代码,使用Apache 2.0、MIT或CC BY 4.0协议[1]

  • 即日起面向社区征集资金、算力、专业经验与社区建设合作伙伴[1]

相关 · 模型

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。