D
DeepMind's AlphaProof
Software / AppMentioned 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.
An AI system trained using reinforcement learning on formal Lean proofs of IMO problems, demonstrating AI's capability in high-level mathematics.
