GPT-5.4 Pro — qed.bot

GPT-5.4 Pro — qed.bot Claims of contribution to mathematics by GPT-5.4 Pro. https://qed.bot/feeds/sys/gpt-5-4-pro.xml 2026-06-21T00:00:00Z qed.bot Erdős Problem 1197 — full (Aristotle, Claude Opus 4.7, GPT-5.4 Pro) urn:qed:b6a97e12c2cf 2026-06-21T00:00:00Z

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

Erdős Problem 352 — partial (GPT-5.4 Pro, GPT-5.5 Pro) urn:qed:c83c6bcbed06 2026-05-29T00:00:00Z

Partial result of variant problem. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 202 — full (GPT-5.4 Pro) urn:qed:6795995a092c 2026-04-23T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős 1194 — partial (GPT-5.4 Pro) urn:qed:f307db5eb652 2026-04-23T00:00:00Z

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

Erdős Problem 1190 — full (GPT-5.4 Pro) urn:qed:ab20fb600033 2026-04-23T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős 863 — full (GPT-5.4 Pro) urn:qed:68a23a37b7f2 2026-04-22T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 598 — candidate (Aristotle, GPT-5.4 Pro) urn:qed:d326f02d0ba1 2026-04-22T00:00:00Z

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

Erdős Problem 503 — incorrect (Aristotle, GPT-5.4 Pro) urn:qed:aa44f2567d58 2026-04-22T00:00:00Z

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

Erdős Problem 996 — full (GPT-5.4 Pro) urn:qed:3aef388aa64b 2026-04-21T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 995 — partial (GPT-5.4 Pro) urn:qed:224fa2d59030 2026-04-21T00:00:00Z

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

Erdős 610 — full (Aristotle, GPT-5.4 Pro) urn:qed:b814f9cf1fec 2026-04-21T00:00:00Z

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

Erdős 603 — full (GPT-5.4 Pro) urn:qed:39928440590b 2026-04-21T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős 524 — partial (GPT-5.4 Pro) urn:qed:e90583dfc2be 2026-04-21T00:00:00Z

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

Erdős 514 — partial (GPT-5.4 Pro) urn:qed:1a97fdd7939d 2026-04-20T00:00:00Z

Partial result (solutions to first part and second part). Autonomy A1, evidence V1, fidelity F0.

Erdős 415 — partial (GPT-5.4 Pro) urn:qed:93e436404c0e 2026-04-19T00:00:00Z

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

Erdős 1195 — full (GPT-5.4 Pro) urn:qed:351badab5dca 2026-04-19T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 1062 — partial (GPT-5.4 Pro) urn:qed:a624eec4fd7a 2026-04-19T00:00:00Z

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

Erdős 675 — partial (GPT-5.4 Pro) urn:qed:3c284e8b1e70 2026-04-18T00:00:00Z

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

Erdős Problem 872 — partial (GPT-5.4 Pro) urn:qed:b4374f1e304c 2026-04-16T00:00:00Z

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

Erdős 1217 — full (GPT-5.4 Pro) urn:qed:ab1eaed536d6 2026-04-16T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 858 — full (GPT-5.4 Pro) urn:qed:c6f01506354b 2026-04-15T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős 856 — candidate (GPT-5.4 Pro) urn:qed:89a35d2cb646 2026-04-15T00:00:00Z

Candidate full solution. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 251 — partial (GPT-5.4 Pro) urn:qed:c7284cbb01eb 2026-04-15T00:00:00Z

Solution to variant problem. Autonomy A3, evidence V1, fidelity F0.

Erdős Problem 1209 — partial (GPT-5.4 Pro) urn:qed:f4466f0c45ab 2026-04-15T00:00:00Z

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

Erdős Problem 258 — full (GPT-5.4 Pro) urn:qed:de6a7ef5d2bb 2026-04-14T00:00:00Z

Full solution. Autonomy A2, evidence V1, fidelity F2.

Erdős Problem 1196 — full (GPT-5.4 Pro) urn:qed:c3ba22df047f 2026-04-13T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F2.

Erdős Problem 75 — partial (GPT-5.4 Pro) urn:qed:570cc5e96a59 2026-04-12T00:00:00Z

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

Erdős Problem 1141 — full (GPT-5.4 Pro) urn:qed:f9078deec681 2026-04-11T00:00:00Z

OpenAI internal model (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 990 — full (GPT-5.4 Pro) urn:qed:749dacf6335b 2026-04-10T00:00:00Z

OpenAI internal model (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 396 — partial (GPT-5.4 Pro, GPT-5.4 Thinking) urn:qed:4e0cb9124e22 2026-04-07T00:00:00Z

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

Erdős Problem 396 — unstated (Claude Opus 4.6, Gemini 3.1 Deep Think, GPT-5.4 Pro) urn:qed:6e92b83685b9 2026-04-04T00:00:00Z

unstated. Autonomy A1, evidence V0, fidelity F0.

Erdős 1202 — full (GPT-5.4 Pro) urn:qed:1a0da4787006 2026-04-01T00:00:00Z

Full solution. Autonomy A3, evidence V1, fidelity F0.

Erdős 380 — full (GPT-5.4 Pro) urn:qed:853384342213 2026-03-31T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős 374 — partial (GPT-5.4 Pro) urn:qed:c9a817b42a59 2026-03-31T00:00:00Z

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

Erdős 574 — full (GPT-5.4 Pro) urn:qed:4b4d7e55c2e8 2026-03-28T00:00:00Z

Full solution found. Autonomy A1, evidence V1, fidelity F0.

Erdős 1153 — full (AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro) urn:qed:6348cc6de5d8 2026-03-24T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

Erdős 1132 — partial (AlphaEvolve, Claude, Gemini Pro, GPT-5.4 Pro) urn:qed:96ec8d565609 2026-03-24T00:00:00Z

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

Erdős Problem 342 — partial (GPT-5.2 Pro, GPT-5.4 Pro) urn:qed:a9f0b6a20e73 2026-03-23T00:00:00Z

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

Erdős Problem 25: Logarithmic density of size-dependent congruences — partial (GPT-5.4 Pro) urn:qed:ae535c00a33b 2026-03-19T00:00:00Z

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

Erdős Problem 943 — partial (GPT-5.4 Pro) urn:qed:31334d5a4642 2026-03-18T00:00:00Z

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

Erdős 1183 — partial (GPT-5.4 Pro) urn:qed:50c7dc9f8a46 2026-03-18T00:00:00Z

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

Erdős Problem 1148 — full (Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro) urn:qed:16b7cb0a7cc0 2026-03-16T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1095 — partial (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) urn:qed:6a8fe7f23fc9 2026-03-13T00:00:00Z

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

Erdős Problem 650 — full (GPT-5.4 Pro) urn:qed:1ee70442c996 2026-03-07T00:00:00Z

Full solution (stronger than literature). Autonomy A3, evidence V1, fidelity F2.