If today’s announcement is confirmed, it would mark the first time AI has solved a truly major open problem in math. The ...