Hugging Face reposted the line and its video link without adding a comment.
A user wrote “it’s time to invent math 2.0” alongside a video link and a “(sounds on)” note. Hugging Face later reposted the message without adding commentary.
23.9K
2 Sources, first seen ago
The sound-on post pointed to SAIR Foundation's launch of Open Math OS, a browser-based workspace that puts AI models, scientific-computing tools and team projects in one place. SAIR calls the idea “Math 2.0”: mathematicians working alongside AI agents while retaining control over what counts as a result.
Thomas Wolf shared the launch with the line “it's time to invent math 2.0.” Hugging Face reposted his message several minutes later without adding commentary.
The service currently lists three open-weight models: Kimi K3, DeepSeek V4.1 Flash and GLM 5.3 Flash. Researchers can adjust the reasoning depth or use Ultramath, a mode that sends several agents down different paths on the same problem before returning their proposed findings for human review.
Each project also gets a cloud machine that can keep running when the researcher's laptop is closed. SAIR says more than 100 tools come preinstalled, including the Lean 4 theorem prover, Mathlib, SageMath, PARI/GP, SymPy and LaTeX. Projects combine chats, shared files and collaboration features so a team can keep its calculations, formal proofs and paper drafts together.
SAIR says projects, files and chats are private unless researchers choose to share them, and that work is used for model training only with explicit consent. The organization also says researchers retain ownership of their work and credit for their ideas. Those are the foundation's stated policies, rather than an independent audit of how the service operates.
Access still requires applicants to introduce their team and research before approval. SAIR says donor support lets it offer free compute and that its infrastructure can support more than 100,000 mathematicians. Its nearer-term plan is to provide free compute to 10,000 mathematicians within three months of launch, beginning with 1,000 research teams by November 2026.
The launch page lists Hugging Face, Lean FRO, CSCS and EPFL as partners. The platform's own description also keeps the division of labor clear: agents propose, but mathematicians review and decide what holds.
—
Not ranked yet
—
Not ranked yet
