2026-10-11 17:10 UTC

Publication and expert review will determine whether Claude Fable independently reproduced five of ten mathematical proofs reported from OpenAI's Astra effort.

state: expiredheat: lowuncertainty: highnovelscott: noneclaude-fable ai-mathematics openai-astraAnthropicOpenAI

What is this?

The case alleges that an Anthropic employee used Claude Fable for 24 hours with a generic, fully autonomous, offline prompt and reproduced five of ten mathematical proofs attributed to OpenAI’s Astra effort. The supplied search results do not corroborate that claim: they discuss a separate Fable-assisted counterexample to the Jacobian conjecture, while the web summary explicitly says the Astra proofs have not been independently reproduced and inconsistently adds that the results are “verified.” On this evidence, the five-of-ten replication remains unestablished pending publication and expert review.

Why it matters to Scott

No intersection with Scott’s documented positions, projects, or prior radar coverage was found. The central replication claim also remains unestablished pending publication and expert review.
queries asked of Scott's wikis
  • AI-generated proof verification and reproducibility
  • autonomous offline agents with generic prompts
  • cross-lab replication of frontier-model capabilities
  • formal verification and proof-carrying AI outputs
  • expert review bottlenecks for machine-generated research
  • benchmark contamination versus independent rediscovery

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

sourceobjectauthorscorecomments
🟠 redditAnthropic employee was able to replicate 5 of the 10 Astra proofs using Fable
singularity
Outside-Iron-824247381
🟧 echo.x ⭐The original tweet says: “so after 24h i have half of them with fable,” using a “totally autonomous, generic prompt, no internet” setup. It Levent Alpöge (@__alpoge__)——

Interpretation history

Decision trace