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

Mathematicians have launched 'First Proof,' a unique math exam for AI, challenging the AI industry's claims of proving math results without transparency. The exam, featuring unsolved problems from top mathematicians, aims to demonstrate AI's potential as a tool for speeding up math research.