Lezhi (Carrie) Tan

PhD @Stanford | Undergrad @PKU1898 Math | ex-intern @Arena | Applied Math, Statistics, AI

[Lezhi (Carrie) Tan @carrieeeeet]

Superintelligence should benefit human intelligence. Mathematics is our starting point.

We’re launching Readable Intelligence, and we invite the math and AI communities to build it with us.
📄 Pick a paper.
💬 Flag an unclear step.
🙌 Contribute a more readable version....
https://t.co/IM5pH7oM2g

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

Let computers handle verification and proof-writing. Now we can focus on what matters most: ideas, creativity, and building our own intelligence!

Congrats @axiommathai 🎉!

[Axiom @axiommathai]

The largest math proof in human history is now computer-verified.

Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."

About 15,000 pages, built by over 100 mathematicians across generations.

[Lezhi (Carrie) Tan @carrieeeeet]

Currently we’re generously supported by my amazing advisor @Jose_Blanchet !
Many thanks to Yipeng Wang (Princeton), @KenOno691 and the cast of our video for their valuable input! ✨

[Lezhi (Carrie) Tan @carrieeeeet]

Superintelligence should benefit human intelligence. Mathematics is our starting point.

We’re launching Readable Intelligence, and we invite the math and AI communities to build it with us.
📄 Pick a paper.
💬 Flag an unclear step.
🙌 Contribute a more readable version....
https://t.co/IM5pH7oM2g

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@SimonsFdn @Anthropic @OpenAI 🙋‍♀️
https://t.co/3PvlGJH7tA

[Lezhi (Carrie) Tan @carrieeeeet]

Superintelligence should benefit human intelligence. Mathematics is our starting point.

We’re launching Readable Intelligence, and we invite the math and AI communities to build it with us.
📄 Pick a paper.
💬 Flag an unclear step.
🙌 Contribute a more readable version....
https://t.co/IM5pH7oM2g

[Lezhi (Carrie) Tan @carrieeeeet]

@SimonsFdn @Anthropic @OpenAI 🙋‍♀️🙋‍♀️ https://t.co/uTiomHCsd7

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@rad_niazadeh @lihua_lei_stat Thanks for sharing this Rad! I myself is in OR track. Shooting an email now 📧

[Lezhi (Carrie) Tan @carrieeeeet]

@OpenAIDevs A whole platform for an open community! https://t.co/uTiomHCsd7

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@AnthropicAI Come check out our platform! We welcome generous support from the industry 🙏
https://t.co/EpjYnhCaej

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@OpenAI Come checkout our platform! We welcome generous support from the industry 🙏
https://t.co/EpjYnhCaej

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@istoica05 🫡🙏

[Lezhi (Carrie) Tan @carrieeeeet]

@SimonsFdn @AnthropicAI @OpenAI Come checkout our platform!
https://t.co/EpjYnhCaej

[Luna Lyu @lunanaboonana]

OpenAI released 722 math manuscripts in a day.
Will mathematicians read them?

A proof can settle a question. Understanding it can open up a thousand more.

Introducing Readable Intelligence: making AI-generated math easier to understand and build on. https://t.co/mk9raefnbf

[Lezhi (Carrie) Tan @carrieeeeet]

@IHung_Hsu 🥺☺️

[Lezhi (Carrie) Tan @carrieeeeet]

@duyknguy @lunanaboonana Yess

[Lezhi (Carrie) Tan @carrieeeeet]

@JikaiJin2002 @JikaiJin2002 So glad we finally got to collaborate after knowing each other for years 😌 No wonder the gold medalist— shipping the Readable skill incredibly fast! 🥂

[Lezhi (Carrie) Tan @carrieeeeet]

@lihua_lei_stat Thank you so much for the support, Lihua! I’ve always felt fortunate that we share the same passions and care deeply about the same problems. Looking forward to many more collaborations! ☺️

[Lezhi (Carrie) Tan @carrieeeeet]

@girlofimpulse 💕

[Lezhi (Carrie) Tan @carrieeeeet]

@irena_gao It’s such an honor having you on our team ! 🫶

[Lezhi (Carrie) Tan @carrieeeeet]

@lihanc02 LOL Ruochuan is not even on X 🤣 serious mathematician

[Lezhi (Carrie) Tan @carrieeeeet]

@EricRuiSun Thanks Rui! Amazing input from the goat 🐐

[Lezhi (Carrie) Tan @carrieeeeet]

@ml_angelopoulos Thank you @ml_angelopoulos ! My time at @arena taught me that evaluation guides the next generation of AI —always grateful for the inspiration, and cheers to what’s ahead!

[Lezhi (Carrie) Tan @carrieeeeet]

@lunanaboonana Superintelligence should benefit human intelligence. Mathematics is our starting point.

We’re launching Readable Intelligence, and we invite the math and AI communities to build it with us.
📄 Pick a paper.
💬 Flag an unclear step.
🙌 Contribute a more readable version....