Frontier LabsAn AI Just Solved a Hard Open Problem in Pure Mathematics. Mathematicians Are Shaken.
OpenAI's Astra model cracked a longstanding question in group theory this month. A working mathematician explains why that felt impossible just weeks ago.