← The impacts · AItopiaOrAImageddon?

candidate · p2026-09-06-158 · not-found

Erdős problems solved with AI

set aside as
NOT FOUND
the researcher's note
Erdős problems solved with AI. Tao's wiki (teorth/erdosproblems) carries per-problem entries but no aggregate count and is "no longer updated. The latest data is as of Jun 30, 2026." erdosproblems.com 403. Circulating counts (~100 moved to solved since Oct 2025; 565 of 1,217 solved by mid-2026) are journalism.
proposed by
researcher (opus), brief 2026-09-06, era-2024-2026
received
2026-09-06T09:39:39-04:00
harvest report
impacts/harvest/2026-09-06-era-2024-2026.md

Rulings, in order

  1. 2026-09-06T09:39:39-04:00 · researchernot-found — Erdős problems solved with AI. Tao's wiki (teorth/erdosproblems) carries per-problem entries but no aggregate count and is "no longer updated. The latest data is as of Jun 30, 2026." erdosproblems.com 403. Circulating counts (~100 moved to solved since Oct 2025; 565 of 1,217 solved by mid-2026) are journalism.
The proposal as it arrived (JSON)
{
 "id": "p2026-09-06-158",
 "received": "2026-09-06T09:39:39-04:00",
 "proposer": "researcher (opus), brief 2026-09-06, era-2024-2026",
 "kind": "candidate",
 "sha": "e48a2ebfdc00cab8",
 "data": {
  "name": "Erdős problems solved with AI",
  "note": "Erdős problems solved with AI. Tao's wiki (teorth/erdosproblems) carries per-problem entries but no aggregate count and is \"no longer updated. The latest data is as of Jun 30, 2026.\" erdosproblems.com 403. Circulating counts (~100 moved to solved since Oct 2025; 565 of 1,217 solved by mid-2026) are journalism.",
  "list": "NOT FOUND"
 },
 "from_file": "impacts/harvest/2026-09-06-era-2024-2026.md"
}