陶哲轩要做一个不归任何公司管的数学模型。
这位数学家九月十八日宣布了SAIR的开放数学模型计划。这家非营利机构将训练开放权重的模型，用来核对证明、查找文献和处理日常研究。资金来自交易公司XTX Markets，训练目标由数学家自己来定。
为什么重要?今天最强的数学模型都藏在公司产品里，研究者看不到内部。开放模型能让任何一所大学核对机器究竟做了什么。
▶ 相关视频: Terence Tao: SAIR’s Open Math Model Initiative
在App中阅读——免费，9种语言
相关新闻
五十个AI智能体在《我的世界》里建了小镇，还发明了官僚体制。2026-10-30OpenAI称其新监控系统本可提前一天发现自家泄露事件。
2026-10-30专家在86%的情况下采纳了AI智能体暗中设定的倾向
2026-10-28Anthropic将免费向生物实验室开放其内部AI模型
2026-10-28AI智能体用24天检查完数学史上最长的证明
2026-10-28