Julia Kempe(@KempeLab):Automated AI theorem proving has moved the frontier: The holy grail is not an AI that can produce an endless pile of true theorems. It’s an AI that can discover mathematics, and build each discovery into the foundation for the next. Check out our new paper on Learning to Discover *Interesting* Mathematics.

Julia Kempe

@KempeLab

Silver Professor @ NYU Courant & CDS AmiLabs Research in Machine Learning & AI, ex Director @ MetaFAIR, past in Quantum Comp. & Finance Posts my own.

Joined April 2024

273 Following 3.8K Followers

Julia Kempe@KempeLab

2026.09.25 14:26

Automated AI theorem proving has moved the frontier: The holy grail is not an AI that can produce an endless pile of true theorems. It’s an AI that can discover mathematics, and build each discovery into the foundation for the next. Check out our new paper on Learning to Discover *Interesting* Mathematics.