Research updates and perspectives on AI and formal verification.
From autoregressive token generators to formally verified proofs: a brief history of computer-aided mathematics
LLMs have turned a corner — from solving textbook problems to scoring top marks at the world's hardest math contests and cracking unsolved conjectures, all with minimal human oversight. How did we get here, and what does the current landscape of AI-powered formal mathematics look like?
More articles coming soon.
