AlphaProof uses reinforcement learning in Lean language to generate and verify millions of proofs. AlphaGeometry 2, powered by Gemini language model, excels in geometry problems.
Collection
[
|
...
]
AlphaProof uses reinforcement learning in Lean language to generate and verify millions of proofs. AlphaGeometry 2, powered by Gemini language model, excels in geometry problems.