← The impacts · AItopiaOrAImageddon?

candidate · p2026-09-07-016 · not-found

Erdős problems solved with AI assistance

set aside as
NOT FOUND
the researcher's note
Erdős problems solved with AI assistance. No primary states a count. erdosproblems.com (curl) says 1,220 problems, 586 (48%) solved — no AI breakdown. Tao's wiki (frozen 30 Jun 2026) lists rows, not totals; counting them gives 532 logged AI contributions, 337 marked full resolution, across 247 distinct problems — derived, not quoted, so not an entry. The repo's statisticshistory.csv gives the dated series (1 Oct 2025: 1,062 problems, 379 solved → 5 Sep 2026: 1,217 problems, 577 solved) but attributes nothing.
proposed by
researcher (opus), brief 2026-09-06 second harvest, bot-wall re-run
received
2026-09-06T10:23:57-04:00
harvest report
impacts/harvest/2026-09-07-botwall-rerun.md

Rulings, in order

  1. 2026-09-06T10:23:57-04:00 · researchernot-found — Erdős problems solved with AI assistance. No primary states a count. erdosproblems.com (curl) says 1,220 problems, 586 (48%) solved — no AI breakdown. Tao's wiki (frozen 30 Jun 2026) lists rows, not totals; counting them gives 532 logged AI contributions, 337 marked full resolution, across 247 distinct problems — derived, not quoted, so not an entry. The repo's statisticshistory.csv gives the dated series (1 Oct 2025: 1,062 problems, 379 solved → 5 Sep 2026: 1,217 problems, 577 solved) but attributes nothing.
The proposal as it arrived (JSON)
{
 "id": "p2026-09-07-016",
 "received": "2026-09-06T10:23:57-04:00",
 "proposer": "researcher (opus), brief 2026-09-06 second harvest, bot-wall re-run",
 "kind": "candidate",
 "sha": "58c6f51949eb6bc2",
 "data": {
  "name": "Erdős problems solved with AI assistance",
  "note": "Erdős problems solved with AI assistance. No primary states a count. erdosproblems.com (curl) says 1,220 problems, 586 (48%) solved — no AI breakdown. Tao's wiki (frozen 30 Jun 2026) lists rows, not totals; counting them gives 532 logged AI contributions, 337 marked full resolution, across 247 distinct problems — derived, not quoted, so not an entry. The repo's statisticshistory.csv gives the dated series (1 Oct 2025: 1,062 problems, 379 solved → 5 Sep 2026: 1,217 problems, 577 solved) but attributes nothing.",
  "list": "NOT FOUND"
 },
 "from_file": "impacts/harvest/2026-09-07-botwall-rerun.md"
}