Codex — qed.bot

Codex — qed.bot Claims of contribution to mathematics by Codex. https://qed.bot/feeds/sys/codex.xml 2026-09-01T00:00:00Z qed.bot Bounded gaps between primes — superseded (Claude, ChatGPT, Codex) urn:qed:0be0b1b52f59 2026-09-01T00:00:00Z

Proved that infinitely many pairs of consecutive primes are at most 236 apart, improving Stadlmann's 240.. Autonomy A1, evidence V2, fidelity F2.

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 176 — candidate (Codex, GPT-5.5 Pro) urn:qed:1aff9b408d56 2026-06-23T00:00:00Z

Candidate partial result (Lean). Autonomy A3, evidence V0, fidelity F0.

Erdős 671 — candidate (Codex, GPT-5.5 Pro) urn:qed:ead34dae37b8 2026-06-22T00:00:00Z

Candidate full solution (Lean). Autonomy A3, evidence V0, fidelity F0.

Erdős Problem 536 — partial (Codex, GPT-5.5 Pro) urn:qed:45803743c5ee 2026-06-22T00:00:00Z

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

Erdős Problem 346 — full (Codex, GPT) urn:qed:51a915ecd033 2026-06-21T00:00:00Z

Full solution (Lean). Autonomy A1, evidence V3, fidelity F1.

Erdős 176 — partial (Codex, GPT-5.5 Pro) urn:qed:55859d8a9d9f 2026-06-21T00:00:00Z

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

Erdős Problem 346 — partial (Codex, GPT-5.5 Pro) urn:qed:8c3caff2bf2e 2026-06-19T00:00:00Z

Solution to variant problem (Lean). Autonomy A3, evidence V3, fidelity F1.

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 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 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 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 42: Maximal Sidon Sets and Disjoint Difference Sets — full (Codex, GPT-5.5 Pro) urn:qed:f755f10d743c 2026-05-10T00:00:00Z

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

Erdős 875 — partial (Codex, GPT-5.5 Pro) urn:qed:bc0a73474b1e 2026-05-07T00:00:00Z

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

Erdős 1032 — partial (Codex, GPT-5.5 Pro) urn:qed:69b0a45a2860 2026-05-07T00:00:00Z

Improved partial result (Lean). Autonomy A2, evidence V2, fidelity F0.

Erdős 1151 — full (Codex, GPT) urn:qed:38762ffd63bf 2026-05-06T00:00:00Z

Chojecki (2026) (main part). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 330 — full (Codex, GPT-5.5 Pro) urn:qed:b72665a5ff42 2026-05-05T00:00:00Z

GPT-5.5 Pro and Turturean (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 164 — full (Codex) urn:qed:a50902d214ec 2026-05-04T00:00:00Z

Alexeev, Barreto, Li, Lichtman, Price, Shah, Tang, and Tao (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős 1194 — partial (Codex, GPT-5.5 Pro) urn:qed:601032b4863d 2026-05-02T00:00:00Z

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

Erdős Problem 396 — partial (Claude, Codex, GPT) urn:qed:fe178f970419 2026-03-15T00:00:00Z

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

Erdős Problem 42: Maximal Sidon Sets and Disjoint Difference Sets — partial (Codex, GPT-5.2, GPT-5.2 Pro) urn:qed:547eaf35c114 2026-01-19T00:00:00Z

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

Erdős Problem 94 — full (Codex, GPT-5.2 Thinking, Seed Prover) urn:qed:525824a3615f 2026-01-15T00:00:00Z

Lefmann and Thiele (1995). Autonomy A1, evidence V3, fidelity F2.

Erdős Problem 224 — full (Codex, GPT-5.2 Thinking) urn:qed:a147c4986ba2 2026-01-14T00:00:00Z

New proof found (Lean). Autonomy A2, evidence V2, 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.

Erdős Problem 689 — candidate (Codex, GPT-5.2, GPT-5.5 Pro) urn:qed:9477d1eb1531 2025-10-29T00:00:00Z

Candidate full solution. Autonomy A1, evidence V3, fidelity F3.

Erdős Problem 347 — full (Aristotle, Claude Opus, Codex, GPT) urn:qed:0dba117032ee 2025-10-25T00:00:00Z

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