Mathematicians launch First Proof, a first-of-its-kind math exam for AI

image via New Scientist

February 9, 2026, 5:09 PM

• •Mathematicians have created a new exam, "First Proof," for AI systems.
• •The exam includes unsolved math problems.
• •The goal is to test AI's problem-solving and transparency.
• •Successful AI performance could transform the day-to-day lives of mathematicians.

Mathematicians are challenging AI by giving them a week to solve actual, unsolved problems relevant to their research. This effort, called "First Proof," aims to test the transparency and problem-solving abilities of AI in pure mathematics. The exam includes encrypted solutions to ensure that the AI systems are not simply regurgitating existing proofs. If successful, AI could become a helpful tool to speed up the tedious parts of math research, mathematicians say.

Read original article