⌘ K
… 读取采集状态 同步中...
雷
原文
DeepTech深科技· DeepTech深科技·· 24 天前AI 评分44

陶哲轩启动开放数学模型计划:研发开源数学 AI 以抗衡大厂

陶哲轩启动“开放数学模型计划”:不依附大厂,为数学界打造自己的AI

AI 导读

菲尔兹奖得主陶哲轩宣布启动 SAIR 基金会的“开放数学模型计划”,旨在联合学界研发面向基础科学研究的开源大语言模型。该计划暂不公布模型架构与参数规模,当前目标是将 AI 应用于核对参考文献、辅助编写计算实验代码及将证明转化为 Lean 4 代码等日常科研环节。项目强调开放权重与数据所有权,由数学家参与模型治理,以区别于商业实验室的解题导向路线。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:DeepTech深科技 · mp.weixin.qq.com