An AI just disproved a math conjecture that Paul Erdős posed eighty years ago and that no human ever cracked. It wasn't a math-specialized system. It wasn't being supervised. And the panel of mathematicians who checked the proof includes the same guy who publicly tore OpenAI's last math claim to shreds seven months ago.