Terence Tao is building maths models no AI company controls.
The mathematician announced SAIR's Open Math Model initiative on 18 September. The non-profit will train open-weight models for checking proofs, hunting references and everyday research work. Trading firm XTX Markets funds it, and mathematicians themselves will set the training targets.
Why it mattersToday's strongest maths models sit inside company products that no researcher can inspect. An open one would let any university check what the machine actually did.
▶ Related video: Terence Tao: SAIR’s Open Math Model Initiative
Read in the app — free, in 9 languages
Related stories
Fifty AI agents built a Minecraft town and invented bureaucracy.2026-10-30OpenAI says its new monitors would have caught its own breach early.
2026-10-30Experts went with their AI agent's hidden pick 86% of the time.
2026-10-28Anthropic will lend its internal AI models to biology labs for free.
2026-10-28AI agents checked the longest proof in mathematics in 24 days.
2026-10-28