陶哲轩要做一个不归任何公司管的数学模型。
这位数学家九月十八日宣布了SAIR的开放数学模型计划。这家非营利机构将训练开放权重的模型，用来核对证明、查找文献和处理日常研究。资金来自交易公司XTX Markets，训练目标由数学家自己来定。
为什么重要?今天最强的数学模型都藏在公司产品里，研究者看不到内部。开放模型能让任何一所大学核对机器究竟做了什么。
▶ 相关视频: Terence Tao: SAIR’s Open Math Model Initiative
在App中阅读——免费，9种语言
相关新闻
一名前端开发者用AI智能体解开了50年悬案。2026-09-20智谱让GLM把自己的服务系统速度提到了三倍。
2026-09-19阿里开源了一个能在CT上识别146种疾病的模型。
2026-09-19Anthropic将免费测试五千个AI设计的蛋白质。
2026-09-19Claude用一个月时间给蛋白质设计软件提了速。
2026-09-19