Skip to content
Intelligence IAAug 5, 2026Intelligence IA
Article

OpenAI's internal AI model found a counterexample to Paul Erdős's 1946 unit distance problem, marking the first historically...

Significant conjecture solved by AI. This breakthrough demonstrates AI's growing capability in mathematical research.

Redaction Data Cube AISource: Hacker News
01

Brief source

OpenAI's internal AI model found a counterexample to Paul Erdős's 1946 unit distance problem, marking the first historically significant conjecture solved by AI. This breakthrough demonstrates AI's growing capability in mathematical research.