This market resolves to Yes if a solution to the long-standing 80-year-old math problem, claimed to be solved by AI, is published in a recognized peer-reviewed mathematics journal by July 15, 2026. Verification will be based on announcements from credible sources or the publication itself.