AI agent cracks open math research problems
An AI agent using an author-critic design solved 6 of 10 real open math problems, beating all other teams in a formal challenge.
An AI agent using an author-critic design solved 6 of 10 real open math problems, beating all other teams in a formal challenge.