AI cracks 80-year-old mathematics challenge — researchers are astonished

AI Insight

An AI system developed by OpenAI has resolved a longstanding geometry problem originally posed by the late Hungarian mathematician Paul Erdős, a challenge that had remained unsolved for approximately 80 years. The AI reportedly produced a formal mathematical proof that contradicts or extends conclusions Erdős had previously considered settled. This represents a notable instance of machine-assisted mathematical discovery at the level of serious, open research problems.

Why it matters

This development suggests that large language models or AI reasoning systems may be capable of contributing meaningfully to pure mathematics, potentially accelerating progress on other long-standing unsolved problems. It raises important questions about the role of AI in formal reasoning disciplines and the verification standards required when AI systems generate novel proofs.