Theme

Humans scavenge machine proofs for methods

Explore this theme’s evidence over time →

Sources

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

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

Researchers stop competing with machine results and start reading them: the technique inside an AI proof becomes a tool humans carry to the next problem.

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

2026-08-16: An auto-research loop finds a 232-fold kernel speedup

2026-08-01: A 150-year-old conjecture is shown false with a five-charge counterexample

2026-07-22: A Fields medallist discloses using a chatbot to confirm calculations

2026-06-27: A survey asks whether mathematicians become priests to oracles

2026-06-25: A leading physicist credits a model with generalizing a calculation

2026-06-03: Sixteen mathematicians publish a declaration on AI and mathematics

2026-05-29: Humans disprove a conjecture using methods lifted from an AI proof

Knowledge graphopen in browser →

Cite or correct this record

Citation formatCitation text

Humans scavenge machine proofs for methods
Innermost Loop KB — secondary record
Reporting date: unknown
KB permalink: https://nicholsn.github.io/innermost-loop-kb/themes/humans-mine-the-machine
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.