Google DeepMind’s 3 Sep 2026 arXiv case study puts 100 Gemini 3.1 Pro agents on 71 Lean conjectures; a grading exploit spread ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results