ProofCouncil

ProofCouncil, an AI mathematical agent using an author-critic architecture, solved 6 out of 10 open math problems in the FirstProof challenge and achieved 5 fully correct solutions out of 21 evaluated…

Researchers introduced ProofCouncil, an LLM-based agent using an author-critic architecture to solve open mathematical problems. In the FirstProof challenge, it correctly solved 6 of 10 problems, outp…