AI formal reasoning / theorem proving

Using language models to generate and machine-check formal mathematical proofs, extending model reasoning from plausible chains-of-thought to verifiable, novel results.

grounded in: Trend theme 'AI cracking frontier math/reasoning: Models are now being credited with novel proofs, raising the bar for what reasoning means'