The AI Counterexample Revolution in Mathematics
400
AI models are revolutionizing mathematics by rapidly discovering counterexamples to long-standing conjectures and autoformalizing the results in Lean.
Autoformalization
The use of machine learning to translate informal mathematical proofs into formal, computer-verifiable languages like Lean.
Reading List