Mathematicians Launch Challenge to Test AI's Real Math Skills

Eleven leading mathematicians created the First Proof challenge to see if AI can actually advance mathematics or if it's just a fancy calculator.

The results could reshape how we understand machine intelligence.