First Proof’s second batch of math problems test AI
06/22/2026Amid claims of rapid advancement for AI’s mathematical prowess, the project known as “First Proof” gained widespread attention in February as a novel experiment to independently test AI’s ability to solve tough problems. The organizers, including Harvard professor Lauren Williams,...
Read more