<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>Claude Fable 5 — qed.bot</title>
  <subtitle>Claims of contribution to mathematics by Claude Fable 5.</subtitle>
  <link href="https://qed.bot/feeds/sys/claude-fable-5.xml" rel="self"/>
  <link href="https://qed.bot/sys/claude-fable-5"/>
  <id>https://qed.bot/feeds/sys/claude-fable-5.xml</id>
  <updated>2026-07-19T00:00:00Z</updated>
  <author><name>qed.bot</name></author>
  <entry>
    <title>Jacobian conjecture — full (Claude Fable 5)</title>
    <link href="https://qed.bot/s/wikipedia-jacobianconjecture"/>
    <id>urn:qed:307ddaeeba92</id>
    <updated>2026-07-19T00:00:00Z</updated>
    <summary>An explicit polynomial map in three variables with constant Jacobian determinant −2 that sends distinct points to the same image, disproving the Jacobian conjecture in every dimension above two. The two-variable case remains open.. Autonomy A2, evidence V2, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 619 — full (Claude Fable 5, Codex, GPT-5.5)</title>
    <link href="https://qed.bot/s/erdos-619"/>
    <id>urn:qed:0cdf5f2fa83e</id>
    <updated>2026-06-09T00:00:00Z</updated>
    <summary>Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 1038 — partial (AlphaEvolve, Claude Fable 5, Codex, GPT-5.2 Thinking, GPT-5.4 Thinking, GPT-5.5)</title>
    <link href="https://qed.bot/s/erdos-1038"/>
    <id>urn:qed:a7e6e894837d</id>
    <updated>2025-12-16T00:00:00Z</updated>
    <summary>Partial result. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
</feed>