Stanislas Polu

@spolu

co-founder+engineer(dust.tt); alumni(openai.com, stripe.com, stanford.edu, polytechnique.edu);

Paris

spolu.sh

Joined November 2007

665 Following

29.4K Followers

Replies Reposts Media Articles

Pinned
Stanislas Polu
@spolu
Sep 20
Dust product roadmap for the next 42 days.
17
Stanislas Polu
@spolu
Nov 4
Article
The end of the Fog of AI
For years every AI product roadmap had a very short shelf-life due to models capabilities evolving faster than any 6+ months plan you could build on top of them. That's what I called the fog of AI. A
6
Stanislas Polu
@spolu
Oct 27
Starting with HOL exploration and then moving on to generating the first LLM proofs on Metamath[0][1] to finally pushing LLM proving capabilities in Lean[2][3] between 2019 and 2022. I have to say.... I can feel the AGI. [0] I thiiiiink these are the first ever authored LLM
Axiom
@axiommathai
Oct 27
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.
6
Stanislas Polu
@spolu
Oct 15
The Lethal trifecta... of getting beautiful shit done. Figma <> Dust <> Snowflake Ship an interactive information-rich Frame with the latest data AND the latest designs.
Dylan Field
@zoink
Oct 15
Now that I'm not in back to back meetings... happy to announce we have added 20 new MCP partners! And many more to come.
2
Stanislas Polu
@spolu
Oct 2
Took me a few iterations but I love this one.
Stanislas Polu
@spolu
Oct 2
With terraform AND agents the cost of managing an infra has plummeted over the past few months. The buy vs maintain tradeoff has likely violently shifted recently. For EU that means EU cloud providers have become massively more competitive overnight vs GCP/AWS/Azure whose
Made with AI
1

Stanislas Polu

Stanislas Polu’s posts