Gemini reportedly found proofs for five unsolved math problems using Cogentic

A post describing a Google paper says Cogentic organized Gemini agents to seek proofs for five unsolved math problems. According to the post, agents tried different ideas in parallel, checkers scrutinized each step, and proven pieces were saved for later rounds. The post says most problems took about 100 model calls and human experts confirmed every proof.