person
Stanislas Polu
Co-founder of Dust.tt; ex-OpenAI formal math
Former OpenAI researcher who led formal mathematics work (miniF2F, curriculum learning). Co-founded Dust.tt, a platform for building AI agents inside companies.
current Co-founder, Dust.tt
past Research Engineer, OpenAI
Strategy positions
Techno-optimismmixed
Technology and markets solve risks faster than regulation creates themBuilds enterprise agent products; publicly less engaged with x-risk framing, more with practical deployment.
Formal mathematics is where we can most cleanly verify AI reasoning. That verification is both a capability lever and a safety signal.
Closest strategy neighbours
by jaccard overlapOther people whose strategy tags overlap with Stanislas Polu's. Overlap is on tag identity, not stance; opposites can show up if they reference the same tags.
Record last updated 2026-04-25.