Twitxy
Saved
@SAIRfoundation's profile picture
View on X

SAIR

Verified account This account is verified because it's an official organization on X. Learn more

@SAIRfoundation

Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
sair.foundation Joined October 2025
59 Following 5.7K Followers 234 Posts

Latest posts 5

Pinned post

SAIR Verified account @SAIRfoundation
The math community deserves its own AI system.

Introducing Open Math OS: the infrastructure for Math 2.0.

Open models and AI agents. 24/7 cloud compute with 100+ tools. The community controls its data.

Compute is free for approved teams. Apply now:
openmathmodel.org
www.openmathmodel.org Open Math OS | Collaborative Math Research & Scientific Computing Open Math OS brings open AI models, scientific computing, and collaboration into one research workspace, with the mathematical community in control of its data.
29 replies 100 reposts 509 likes 100K views View on X
SAIR Verified account @SAIRfoundation
It’s the weekend, and our users are still hard at work on their research. We’ve reset everyone’s usage on Open Math OS to give you a boost.

Keep doing great research!

Use Open Math OS now at openmathmodel.org
www.openmathmodel.org Open Math OS | Collaborative Math Research & Scientific Computing Open Math OS brings open AI models, scientific computing, and collaboration into one research workspace, with the mathematical community in control of its data.
1 replies 1 reposts 12 likes 668 views View on X
SAIR Verified account @SAIRfoundation
Some teams have already hit their weekly limit, so we’ve reset everyone’s usage on Open Math OS to give you a fresh start this weekend.

Keep doing great research!

Use Open Math OS now at openmathmodel.org
www.openmathmodel.org Open Math OS | Collaborative Math Research & Scientific Computing Open Math OS brings open AI models, scientific computing, and collaboration into one research workspace, with the mathematical community in control of its data.
0 replies 1 reposts 18 likes 727 views View on X
SAIR Verified account @SAIRfoundation
Software Updates is live on Open Math OS under Settings → Software Updates. You can now upgrade Lean and Mathlib to v4.35.0 there.

Everyone also gets a fresh reset. Keep doing great research!

Apply now:
openmathmodel.org
www.openmathmodel.org Open Math OS | Collaborative Math Research & Scientific Computing Open Math OS brings open AI models, scientific computing, and collaboration into one research workspace, with the mathematical community in control of its data.
1 replies 3 reposts 12 likes 744 views View on X