Did AI Just Solve One of Mathematics’ Biggest Problems?

OpenAI’s agents reached a proposed solution in 88 hours. But the human research that came before, and the controversy that followed, raise a harder question: what actually counts as an AI discovery?