DeepMind's AlphaProof
Software / App
An AI system trained using reinforcement learning on formal Lean proofs of IMO problems, demonstrating AI's capability in high-level mathematics.
Mentioned in 1 video
An AI system trained using reinforcement learning on formal Lean proofs of IMO problems, demonstrating AI's capability in high-level mathematics.
