Development

Humans disprove a conjecture using methods lifted from an AI proof

development2026-05-29

Claim

Tim Gowers reported that a major additive combinatorics problem fell to people using methods lifted from the AI solution to the unit distance conjecture, disproving the sum-product conjecture over the reals.

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

Sources

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

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

Knowledge graphopen in browser →

Reported in

Welcome to May 29, 2026

Evidence for

Supersedes

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

Referenced by

Cite or correct this record

Citation formatCitation text

Humans disprove a conjecture using methods lifted from an AI proof
Innermost Loop KB — secondary record
Reporting date: 2026-05-29
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-05-29-humans-lift-methods-from-a-machine-proof
Claim: Tim Gowers reported that a major additive combinatorics problem fell to people using methods lifted from the AI solution to the unit distance conjecture, disproving the sum-product conjecture over the reals.
Attributed sources:
- Welcome to May 29, 2026 — https://theinnermostloop.substack.com/p/welcome-to-may-29-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.