An OpenAI model solved a famous math problem that stumped humans for 80 years

**TL;DR:** An OpenAI model solved a famous math problem that stumped humans for 80 years

---

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years. OpenAI gave several mathematicians early access to the result and published their reactions . Tim Gowers —who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance

problem is a milestone in AI mathematics.” University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.” Read full article Comments

Source: Ars Technica Features

AI coverage on iByte separates shipped capability from roadmap talk. The practical lens is cost, access, safety, and what changes for builders and everyday users.

Even when details are thin, these stories matter because they signal direction: pricing, policy, platform behavior, or security posture can shift quickly once momentum builds.

Watch for primary-source confirmation, changelog entries, and whether vendors publish remediation or rollout timelines.

1) Separate the announcement from the shipping date. 2) Compare alternatives if pricing or terms shift. 3) Revisit the story when independent verification lands.

**Q: Is everything in this article confirmed?** A: The summary reflects publicly reported information at publication time. Analysis sections are clearly framed as context, not new reporting.

**Q: Will iByte update this page?** A: Yes. As primary sources publish more detail, this article can be refreshed without changing the URL.

Last updated: June 16, 2026.

Additional context: early-cycle stories often look bigger in headlines than in day-to-day impact. The useful move is to identify the smallest set of facts that would change your decision, then wait for those facts to land.

Additional context: early-cycle stories often look bigger in headlines than in day-to-day impact. The useful move is to identify the smallest set of facts that would change your decision, then wait for those facts to land.

Additional context: early-cycle stories often look bigger in headlines than in day-to-day impact. The useful move is to identify the smallest set of facts that would change your decision, then wait for those facts to land.

Additional context: early-cycle stories often look bigger in headlines than in day-to-day impact. The useful move is to identify the smallest set of facts that would change your decision, then wait for those facts to land.