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

Frustrated by AI industry claims of proving math results without transparency, a team of leading academics has proposed a better way