Alex Kontorovich

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space

A mathematician involved in blueprint writing for complex formalization projects, mentioned alongside Terence Tao for his role in organizing collaborative math efforts.