Development

Nine more Erdős problems are resolved at a few hundred dollars apiece

development2026-05-24

Claim

DeepMind autonomously resolved nine further Erdős problems at a cost of a few hundred dollars each, attaching a unit price to mathematical results.

Reported metric: 9 problems / ~$100s each

Reporting date: 2026-05-24 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to May 24, 2026 (theinnermostloop.substack.com)

Proof has become a line item.

Knowledge graphopen in browser →

Reported in

Welcome to May 24, 2026

Actor

Google DeepMind

Evidence for

Supersedes

A general-purpose model disproves Erdős's unit distance conjecture

Referenced by

Cite or correct this record

Citation formatCitation text

Nine more Erdős problems are resolved at a few hundred dollars apiece
Innermost Loop KB — secondary record
Reporting date: 2026-05-24
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-05-24-nine-more-erdos-problems-at-a-few-hundred-dollars-each
Claim: DeepMind autonomously resolved nine further Erdős problems at a cost of a few hundred dollars each, attaching a unit price to mathematical results.
Attributed sources:
- Welcome to May 24, 2026 — https://theinnermostloop.substack.com/p/welcome-to-may-24-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.