← The impacts · AItopiaOrAImageddon?

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

Fermat's Last Theorem Lean formalisation

set aside as
NOT FOUND
the researcher's note
Fermat's Last Theorem Lean formalisation — see DEFINITION REJECTS.
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 — Fermat's Last Theorem Lean formalisation — see DEFINITION REJECTS.
The proposal as it arrived (JSON)
{
 "id": "p2026-09-06-160",
 "received": "2026-09-06T09:39:39-04:00",
 "proposer": "researcher (opus), brief 2026-09-06, era-2024-2026",
 "kind": "candidate",
 "sha": "b321b9d3dfe8814b",
 "data": {
  "name": "Fermat's Last Theorem Lean formalisation",
  "note": "Fermat's Last Theorem Lean formalisation — see DEFINITION REJECTS.",
  "list": "NOT FOUND"
 },
 "from_file": "impacts/harvest/2026-09-06-era-2024-2026.md"
}