ProofCouncil: The Math Solver That's Outpacing Humans
ProofCouncil, an AI mathematical agent using an author-critic architecture, solved 6 out of 10 open problems in the FirstProof challenge with only minor revisions needed, and in further testing on 30 new problems, 5 of 2…