陶哲轩启动开放数学模型计划，为数学界打造不依附大厂的AI菲尔兹奖得主陶哲轩宣布，非营利机构SAIR基金会启动“开放数学模型计划”，拟联合数学界、科研机构和产业伙伴研发开源开放权重模型及科研工具链，重点辅助证明核查、文献追踪、算例寻找和形式化验证

1. 

   科技脉搏

   陶哲轩启动开放数学模型计划，为数学界打造不依附大厂的AI菲尔兹奖得主陶哲轩宣布，非营利机构SAIR基金会启动“开放数学模型计划”，拟联合数学界、科研机构和产业伙伴研发开源开放权重模型及科研工具链，重点辅助证明核查、文献追踪、算例寻找和形式化验证

   2天前

   

   ×

   

   陶哲轩启动开放数学模型计划，为数学界打造不依附大厂的AI
   
   菲尔兹奖得主陶哲轩宣布，非营利机构SAIR基金会启动“开放数学模型计划”，拟联合数学界、科研机构和产业伙伴研发开源开放权重模型及科研工具链，重点辅助证明核查、文献追踪、算例寻找和形式化验证。项目强调开放权重、数据治理、可验证性与低成本，目前仍在征集合作伙伴，模型规模、预算和时间表尚未确定。
   
   来源：腾讯新闻

   2天前