Rohan Paul

New Google paper reveals how Gemini found new proofs for 5 unsolved math problems. Organize AI like a research team with strict checkers and shared notes: A single prompt often isn't enough for hard research problems. They need many attempts, tough review, and a memory of what already worked. Google's system, Cogentic, gives Gemini that structure. Several agents try different ideas at once, checkers assume every step is wrong until proven, and proven pieces are saved for the next round. Most problems took only about 100 model calls, and human experts confirmed every proof. If your agents tackle long, hard tasks, give them a strict checker and a running record of proven work, not just a better prompt. – arxiv. org/abs/2609.40324 Title: "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery"