AlphaProof Nexus found a solution to nine of 353 open problems
Gemini 3.1 Pro writes each proof in Lean, and Lean checks the proof after each change.
Sources
Posted
What matters in AI.
SubscribeGemini 3.1 Pro writes each proof in Lean, and Lean checks the proof after each change.
Posted
