GPT-5.4 Thinking — qed.bot
Claims of contribution to mathematics by GPT-5.4 Thinking.
https://qed.bot/feeds/sys/gpt-5-4-thinking.xml
2026-04-29T00:00:00Z
qed.bot
Erdős Problem 873 — candidate (GPT-5.4 Thinking)
urn:qed:3b038185bea2
2026-04-29T00:00:00Z
Candidate partial result. Autonomy A1, evidence V0, fidelity F2.
Erdős Problem 1041 — incorrect (GPT-5.4 Thinking)
urn:qed:569088d990e7
2026-04-22T00:00:00Z
Argument with major gaps made. Autonomy A3, evidence V1, fidelity F2.
Erdős Problem 602 — partial (GPT-5.4 Thinking)
urn:qed:0f88a741d8b0
2026-04-20T00:00:00Z
Related results found. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 1196 — full (GPT-5.4 Thinking)
urn:qed:fe63312be101
2026-04-20T00:00:00Z
Tao (2026). Autonomy A1, evidence V1, fidelity F2.
Erdős Problem 1196 — full (GPT-5.4 Thinking)
urn:qed:33965f3b0639
2026-04-16T00:00:00Z
Full solution (stronger than literature). Autonomy A1, evidence V1, fidelity F2.
Erdős 1216 — partial (GPT-5.4 Thinking)
urn:qed:94fff10aa524
2026-04-12T00:00:00Z
Related results found. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 138 — partial (GPT-5.4 Thinking)
urn:qed:f3c671c5ffed
2026-04-10T00:00:00Z
Partial result of variant problem. 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 12 — partial (GPT-5.4 Thinking)
urn:qed:b73953f2b639
2026-04-07T00:00:00Z
Partial result. Autonomy A1, evidence V1, fidelity F2.
Erdős Problem 749 — partial (GPT-5.4 Thinking)
urn:qed:50d024515fb9
2026-04-06T00:00:00Z
Partial result; Solution to variant problem. Autonomy A1, evidence V1, fidelity F0.
Erdős 629 — partial (Gemini 3.1 Pro, GPT-5.4 Thinking)
urn:qed:9f832b51287d
2026-04-04T00:00:00Z
Partial result. Autonomy A3, evidence V1, fidelity F0.
Erdős Problem 749 — partial (GPT-5.4 Thinking)
urn:qed:7af97cc109a4
2026-04-03T00:00:00Z
Partial results found. Autonomy A1, evidence V1, fidelity F0.
Erdős 684 — partial (GPT-5.4 Thinking)
urn:qed:c785ac7c0f8f
2026-04-02T00:00:00Z
Partial result. Autonomy A1, evidence V1, fidelity F2.
Erdős Problem 848 — full (Gemini 3.1 Pro, GPT-5.2 Thinking, GPT-5.4 Thinking)
urn:qed:7b0b360e9f4d
2026-03-23T00:00:00Z
Derived explicit bound; Partial result of variant problem. Autonomy A2, evidence V1, fidelity F2.
Erdős Problem 120 — full (GPT-5.4 Thinking)
urn:qed:eb65b4ee317b
2026-03-14T00:00:00Z
Solution to variant problem found. Autonomy A1, evidence V1, fidelity F2.
Erdős Problem 423 — partial (GPT-5.2 Thinking, GPT-5.4 Thinking)
urn:qed:ca7c25c235a6
2026-03-12T00:00:00Z
Partial result. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 985 — partial (GPT-5.4 Thinking)
urn:qed:d46948f1a013
2026-03-06T00:00:00Z
Partial results found. Autonomy A1, evidence V1, fidelity F0.
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 686 — partial (AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro)
urn:qed:1fa3f303ac7a
2025-08-09T00:00:00Z
Various partial results. Autonomy A1, evidence V1, fidelity F0.