GPT-5.4 — qed.bot

GPT-5.4 — qed.bot Claims of contribution to mathematics by GPT-5.4. https://qed.bot/feeds/sys/gpt-5-4.xml 2026-06-08T00:00:00Z qed.bot Erdős Problem 931 — partial (Claude, GPT-5.4) urn:qed:28d3692204d9 2026-06-08T00:00:00Z

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

Erdős 976 — partial (GPT-5.4) urn:qed:33ce1161e512 2026-04-16T00:00:00Z

Conditional partial result. Autonomy A1, evidence V1, fidelity F0.

Erdős 1198 — partial (GPT-5.4) urn:qed:ebacbc1aecfa 2026-04-16T00:00:00Z

Partial results found. Autonomy A1, evidence V1, fidelity F0.

Erdős 852 — partial (GPT-5.4) urn:qed:868c75c3a55a 2026-04-15T00:00:00Z

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

Erdős Problem 905 — full (Aristotle, GPT-5.4) urn:qed:b11534009b7c 2026-04-07T00:00:00Z

Khadžiivanov and Nikiforov (1979). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1041 — incorrect (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4) urn:qed:0e47e6221eae 2026-03-24T00:00:00Z

Argument with major gaps made. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 488 — partial (Aristotle, GPT-5.4) urn:qed:b2920fc3027c 2026-03-20T00:00:00Z

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

Erdős Problem 1148 — full (Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover) urn:qed:3cb0b5f4e884 2026-03-17T00:00:00Z

Chojecki (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 848 — incorrect (Claude Opus 4.6, GPT-5.4) urn:qed:ab3a23992723 2026-03-15T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F2.

Erdős 388 — incorrect (Claude, Gemini, GPT-5.4) urn:qed:729124ceabb3 2026-03-15T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F0.