GPT-5.5 — qed.bot

GPT-5.5 — qed.bot Claims of contribution to mathematics by GPT-5.5. https://qed.bot/feeds/sys/gpt-5-5.xml 2026-06-29T00:00:00Z qed.bot Erdős 1070 — partial (Codex, GPT-5.5) urn:qed:3e886831430b 2026-06-29T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 942 — partial (Aristotle, Claude Opus 4.8, Codex, GPT-5.5) urn:qed:7b49df676206 2026-06-14T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 326 — full (Aristotle, Codex, GPT-5.5) urn:qed:338e7180aa31 2026-06-14T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V2, fidelity F0.

Erdős Problem 539 — partial (Codex, GPT-5.5, ProofCouncil) urn:qed:3c8bb4580bc2 2026-06-10T00:00:00Z

Partial result (Lean). Autonomy A3, evidence V2, fidelity F2.

Erdős Problem 619 — full (Claude Fable 5, Codex, GPT-5.5) urn:qed:0cdf5f2fa83e 2026-06-09T00:00:00Z

Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.

Erdős Problem 52 — candidate (GPT-5.5) urn:qed:2c99a876d706 2026-06-04T00:00:00Z

Candidate solution to variant problem. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 52 — partial (GPT-5.5) urn:qed:95b7a60ac400 2026-05-28T00:00:00Z

Improved bound to variant problem. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 71 — full (Aristotle, Claude Opus 4.7, GPT-5.5) urn:qed:239969e360fe 2026-05-24T00:00:00Z

Bollobás (1977). Autonomy A1, evidence V1, fidelity F2.

Erdős 603 — full (Codex, GPT-5.5) urn:qed:ca9350946908 2026-05-17T00:00:00Z

Chojecki and GPT-5.4 Pro (2026). Autonomy A1, evidence V1, fidelity F0.

Erdős 819 — candidate (GPT-5.5, Rethlas) urn:qed:7d72fb6c6bf4 2026-05-15T00:00:00Z

Candidate partial result. Autonomy A1, evidence V0, fidelity F0.

Erdős 1039 — partial (Codex, GPT-5.5) urn:qed:ce752933d26d 2026-05-15T00:00:00Z

GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F0.

Erdős 327 — candidate (GPT-5.5, Rethlas) urn:qed:85eb0abc1ee0 2026-05-13T00:00:00Z

Candidate partial result. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 1187 — full (Codex, GPT-5.5) urn:qed:b6715b2c842d 2026-05-12T00:00:00Z

Trivial (second part). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1038 — partial (AlphaEvolve, Claude Fable 5, Codex, GPT-5.2 Thinking, GPT-5.4 Thinking, GPT-5.5) urn:qed:a7e6e894837d 2025-12-16T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.