OpenAI cracks an 80-year math belief
Source: The Rundown AI · Category: AI Research & Breakthroughs
OpenAI claims to have solved or advanced an 80-year-old mathematical conjecture using AI reasoning. If confirmed, this demonstrates AI capability in formal mathematics beyond code and language. Relevant to clients in research, finance, and optimization fields; signals that frontier models are approaching novel discovery. Monitor for peer review and commercial applications.