AI use cases

Generating proofs that are later formalized in Lean

Convert AI-generated mathematical arguments into formally verified presentations.

From OpenAI's Astra JUST solved math... by Wes Roth