Peter L.

🎙 Host of On The SAIR — exploring how AI meets genius. Secretary-General of @SAIRfoundation.

[Peter L. @Peter_SAIR]

At our Science x AI Summit, I spoke on SAIR: Open by Design.

SAIR Competitions are our first step toward open Science x AI infrastructure: shared data, open models, transparent evaluation, and community collaboration around frontier scientific questions.

[Peter L. @Peter_SAIR]

Proud to open-source Open Math Harness, the harness built for everyday math research.

[SAIR @SAIRfoundation]

Open Math Harness is open source: the runtime of Open Math OS, infrastructure for Math 2.0.

Built for everyday math research: agents on open models with math and scientific computing tools, parallel exploration in Ultramath, autoformalization in Lean.

https://t.co/EripsqJuP8

[Peter L. @Peter_SAIR]

Reset coming! Keep doing great Math!
https://t.co/fWLqacly8B

[SAIR @SAIRfoundation]

Reset coming!

Some teams have already reached their weekly usage limits on Open Math OS, so we’re resetting weekly usage for everyone. Keep doing great math!

Apply for Open Math OS now:
https://t.co/uOW85tOwqU

[SAIR @SAIRfoundation]

Terence Tao on building Open Math Model: Big tech used to give Mathematicians useful tools. But recent events show that community-driven models are necessary to ensure AI aligns with the mathematical community.

[SAIR @SAIRfoundation]

Terence Tao: Speed is not the only thing we want to optimize

Technology is rarely as simple as being pro or anti.

Finding the balance means combining the speed of AI with some slower ways of doing science, building communities, and retaining human understanding.

[SAIR @SAIRfoundation]

Yu Deng: Human and AI are co-evolving

By learning from humans, AI generates new ideas that researchers can learn from and build upon—creating a co-evolving relationship between human intelligence and artificial intelligence.

[SAIR @SAIRfoundation]

Yu Deng on the reason we do math: One key reason is to understand both our physical reality and the abstract math world. AI creates new boundaries between questions that have proofs and proofs that humans actually understand.

[SAIR @SAIRfoundation]

Fields Medalists Terence Tao and Yu Deng discuss why understanding matters more than answers, how credit and citations hold up when machines build on centuries of human work, and why SAIR launched Open Math OS and Open Math Model.

Learn more at https://t.co/2xMci7oVql.

[Peter L. @Peter_SAIR]

Welcome to the era of Math 2.0

[SAIR @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:
https://t.co/uOW85tOwqU

[SAIR @SAIRfoundation]

Join us at Caltech on Nov 13-15 for Mathathon!

Thanks to lead donor @xtxmarkets and all the supporters for making this possible.

Apply to participate:
https://t.co/0FZ3wExqE8

[SAIR @SAIRfoundation]

The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs.

Explore alternative proofs and clearer explanations, using AI to deepen human understanding.

More on our co-founder Terence Tao’s blog:
https://t.co/1cw7Zk2Jra

[SAIR @SAIRfoundation]

SAIR names @XTXMarkets and Susquehanna International Group as the first supporters of its open research program.

Problems from researchers. Work in public. Results released openly.

Thank you both.

Full announcement:
https://t.co/4kXYO6tl3I

[SAIR @SAIRfoundation]

At our Science x AI Summit at Caltech, our co-founder Terence Tao discusses the 25 Fields Medalists’ declaration and introduces the Open Math Model initiative.

Built for everyday research, shaped by the mathematical community, and developed in the open.

Full video:

[Jakob Foerster @j_foerst]

I recently had a had an hour long conversation with @SAIRfoundation - if you are curious about AI Beyond Scaling, @bold_lab_ai , the journey here, and were we are headed this is for you!

https://t.co/wR99xc9HKq

PS:
If you'd like to join this journey, the applications for the first ever batch of BOLD Fellows will close at noon UK Time today: https://t.co/vUSr4kUsPv

[Peter L. @Peter_SAIR]

Today we announce Open Math Model: a community-led effort to build open models and tools for mathematics.

Open weights. Published methods. Data owned by the community. Public governance.

Frontier tools for math should not live only inside labs.

[SAIR @SAIRfoundation]

Today we introduce Open Math Model: open models and tools for mathematics.

Built for everyday research, shaped by the mathematical community, and developed in the open.

Read our co-founder Terence Tao’s blog:
https://t.co/PqLQqUoUXk

[SAIR @SAIRfoundation]

Today we introduce Open Math Model: open models and tools for mathematics.

Built for everyday research, shaped by the mathematical community, and developed in the open.

Read our co-founder Terence Tao’s blog:
https://t.co/PqLQqUoUXk

[SAIR @SAIRfoundation]

The Andrews–Curtis Conjecture Challenge Proof Track is live!

Submit proofs or disproofs of AC or Stable AC. Written proofs, Lean formalizations, and partial results are welcome.

Share and discuss on the SAIR Contributor Network.

Join the Proof Track:
https://t.co/jCTynpIgmv

[SAIR @SAIRfoundation]

The Andrews–Curtis Conjecture (ACC) Challenge Discovery Track is live!

Turn computational search into verifiable progress on a longstanding conjecture in group theory. Find short move sequences for 10,115 presentations.

Join:
https://t.co/YO9rEHYYxC

[SAIR @SAIRfoundation]

We’re launching the Andrews–Curtis Conjecture (ACC) Challenge with @Caltech

Two open problems: AC and Stable AC
Can simple moves reduce complex presentations of the trivial group to standard form?

Two tracks, each covering both problems:
Discovery (launches Sep 11): Find short, verified move sequences
Proof (launches Sep 20): Prove or disprove either conjecture

Registration is open:
https://t.co/gY7EEbR9tj

[SAIR @SAIRfoundation]

Our co-founder Terence Tao explains why AI needs new scientific infrastructure alongside traditional research channels. SAIR is building the open infrastructure to make it possible.

Apply to attend our summit and learn more:
https://t.co/Ap9NSrDLFB

[SAIR @SAIRfoundation]

In 1994, LIGO was a project many physicists had written off. Barry Barish rebuilt it into a thousand person collaboration, and 21 years later it caught two black holes colliding a billion light years away.

He opens our summit at @Caltech.

Apply to attend:
https://t.co/IjZmjZCwAX