Terence Tao's SAIR Foundation launches open mathematical model initiative
On September 18, 2026, Fields Medalist Terence Tao, co-founder of SAIR Foundation, announced the launch of the Open Mathematical Model Initiative. The program aims to build open-weight models and open-source tools for mathematics and science, initially focusing on argument comprehension, literature verification, and formal proof. The foundation is now soliciting partners for funding, compute, expertise, and community building.
Coverage timeline
量子位量子位
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划” 量子位的朋友们 2026-09-19 14:44:02 来源： 量子位 让开放模型与可负担的算力成为数学研究的共享基石 2026 年 9 月 18 日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩（Terence Tao）代表机构宣布启动「开放数学模型计划」，意在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。 陶哲轩发表声明如下： SAIR FOUNDATION · 官方声明 SAIR 开放数学模型计划 2026 年 9 月 18 日 | 陶哲轩（Terence Tao） 去年，我与几位科学家和投资人等共同创立了SAIR Foundation，意在打造一个非营利组织，在数学及其他科学领域支持人工智能的负责任使用，且不依附于任何大型 AI 公司。基金会的资源起初相当有限，主要活动集中在播客、短期活动与竞赛。我们一直在缓慢地扩大规模、提升抱负、增强后勤保障能力。例如，我们非常感激近期获得 XTX Markets 的支持，资助了下一轮 SAIR 竞赛。此外，我们正与来自学术界与产业界的多家关键伙伴洽谈一项计划，目标是 构建面向科学的开放权重模型，以及便于同时使用开源与闭源大语言模型的科学开源工具 。 我们最初计划循序渐进地推进该计划，未来几个月先从若干试点项目起步。考虑到当下形势与各界对开放模型的强烈需求，我们决定加快进度，将计划的首次公开宣布提前到今天，尽管部分关键规划仍在推进之中。我们现已开始征集对该计划的意向表达，因为我们正在寻找能够贡献资金、算力、专业经验或社区建设的合作伙伴。（意向可在公告页面底部登记。）我将公告原文重录于下。我们计划在短期内发布更多更新与信息，包括合作伙伴名单，以及将该计划融入我们现有播客、活动与竞赛体系的后续规划。 为数学界构建开放模型 Building Open Models for the Mathematical Community 数学因可被他人审视与延续的发现而进步。一代代研究者构筑了共享的知识体系，靠开放交流和对彼此贡献的尊重维系。当人工智能成为数学研究
Related stories
Terence Tao: AI Ends Proof Scarcity, Ushering in Math 2.0
Fields Medalist Terence Tao published a post and gave a Caltech talk titled 'Math 2.0', arguing that AI is making mathematical proofs abundant, ending the 'proof scarcity' premise of traditional Math 1.0. He calls for new skills for mathematicians, such as evaluating correctness and integrating AI-generated proofs, to ensure they contribute to understanding and real-world applications.
2 reports · 2 sources
25 Fields Medalists Sign Declaration Criticizing AI Firms' Benchmark-Driven Math
A group of 25 Fields Medal recipients, including Terence Tao and Yu Deng, issued a declaration on September 11, 2026, arguing that AI companies' use of mathematical problem-solving as a benchmark is detrimental to the science of mathematics. The signatories, spanning from 1978 laureate Pierre Deligne to 2026 laureate Yu Deng, cite a severe misalignment between AI firms' goals and the mathematical community's objectives, particularly criticizing the rushed announcement of results without proper papers or citations. The declaration, published on mathandai.org and Tao's blog, does not call for stopping AI but highlights concerns about the pace of AI-driven discoveries outpacing the community's ability to digest them.
Fields Medalist Jacob Tsimerman Launches Mathematical AI Safety Institute
Jacob Tsimerman, a recent Fields Medal recipient, has launched the Mathematical AI Safety Institute to apply higher mathematics to AI safety problems. He is set to join OpenAI later this month. The institute aims to use advanced mathematical approaches to mitigate dangers from runaway AI.
1 reports · 1 sources
Z.ai confirms Ox Alpha is GLM-5.3 Flash, releases open weights
Z.ai confirmed that the anonymous model 'Ox Alpha', which went viral on OpenRouter, is a new iteration of its GLM series, specifically GLM-5.3 Flash, and released its weights on Hugging Face under a new license. The model, a 320B-parameter natively multimodal model running on domestic chips, topped OpenRouter's leaderboard and ended DeepSeek's 56-day streak on OpenCode. The license requires companies with over $10B in revenue to pass a security review.
9 reports · 4 sources801 points · 281 comments
News updates every hour. Subscribe in your RSS reader to get new stories automatically.
Subscribe