Expert review will determine whether Claude produced a valid new lowest-dimensional counterexample to Borsuk’s Conjecture.
state: expiredheat: lowuncertainty: highknownscott: lowai-mathematics claude automated-discoveryAnthropic
What is this?
Reports claim that an unreleased Anthropic Claude model—elsewhere called “Claude Fable 5”—generated a counterexample to a longstanding mathematical conjecture, with review by mathematicians, a formally verifiable proof, and subagents used for independent checking and literature search. However, the supplied snippets do not reliably establish that the result concerns Borsuk’s Conjecture or is the lowest-dimensional counterexample: they variously reference an unnamed 87-year-old conjecture, a three-variable result, and an Anthropic page about the Riemann zeta function. The case’s exact mathematical identity and claimed novelty therefore remain unresolved from this evidence.
Why it matters to Scott
The radar already tracks the Claude Fable mathematical-discovery and expert-review story on `radar:fable-astra-proof-replication`, alongside several substantially similar AI-generated proof claims. Although the proposed workflow aligns with Scott’s mechanically different verification and human-judgment principles, the supplied evidence does not establish the Borsuk result or its claimed novelty, so this currently adds no actionable delta.
ip:concept.mechanically-different-verifiersip:concept.human-judgmentip:concept.evidence-packageradar:fable-astra-proof-replicationradar:concept.ai-mathematicsradar:concept.formal-verification
queries asked of Scott's wikis
- AI agents for original mathematical discovery
- formal proof verification in agent workflows
- multi-agent critique and independent re-proving
- agentic literature search for novelty checking
- trust thresholds for AI-generated research
- automated discovery versus human expert review
Measured heat
no measured readings yet — the hourly heat pass fills this in
How the heat travelled
no chain yet — the hourly chain pass fills this in
Evidence (2) — ⭐ canonical anchor
Interpretation history
2026-08-13T17:41:16Z
No expert validation, proof inspection, or novelty confirmation surfaced within the observation horizon, so the unsupported Borsuk-specific claim has faded rather than matured. Similar AI-mathematics activity elsewhere does not substantiate this episode.
2026-08-11T16:47:19Z
No independent expert review, proof inspection, or novelty confirmation has appeared; the minor engagement increase is only repetitive amplification of the original claimant-authored assertion. The exact mathematical identity and validity remain unresolved.
2026-08-11T16:35:45Z
grounded: known/low — The radar already tracks the Claude Fable mathematical-discovery and expert-review story on `radar:fable-astra-proof-replication`, alongside several substantial
2026-08-11T16:33:08Z
case created — The mathematical claim is distinct, consequential if valid, and resolvable through expert verification of the published artifact.
Decision trace
- 08-14 03:41expireNo expert validation, proof inspection, or novelty confirmation surfaced within the observation horizon, so the unsupported Borsuk-specific claim has faded rather than matured. Similar AI-mathematics
- 08-14 03:41alert_silentThe only trigger is staleness, with no new evidence or consequential delta; there is nothing Scott needs before the next briefing.
- 08-14 03:41alert_routeThe only trigger is staleness, with no new evidence or consequential delta; there is nothing Scott needs before the next briefing.
- 08-12 02:47repriceNo independent expert review, proof inspection, or novelty confirmation has appeared; the minor engagement increase is only repetitive amplification of the original claimant-authored assertion. The ex
- 08-12 02:47alert_silentThe new delta is only a one-point engagement increase with no substantive evidence, so it adds nothing that Scott needs before the next briefing.
- 08-12 02:47alert_routeThe new delta is only a one-point engagement increase with no substantive evidence, so it adds nothing that Scott needs before the next briefing.
- 08-12 02:43alert_silentA claimant-authored artifact establishes only that the Borsuk counterexample claim was published; it provides no visible expert validation, proof details, or novelty confirmation. Given Scott's l
- 08-12 02:43surface_candidateA claimant-authored artifact establishes only that the Borsuk counterexample claim was published; it provides no visible expert validation, proof details, or novelty confirmation. Given Scott's l
- 08-12 02:43alert_routeA claimant-authored artifact establishes only that the Borsuk counterexample claim was published; it provides no visible expert validation, proof details, or novelty confirmation. Given Scott's l
- 08-12 02:35groundThe radar already tracks the Claude Fable mathematical-discovery and expert-review story on `radar:fable-astra-proof-replication`, alongside several substantially similar AI-generated proof claims. Al
- 08-12 02:33createThe mathematical claim is distinct, consequential if valid, and resolvable through expert verification of the published artifact.