GPT-5.2 Thinking

GPT-5.2 Thinking — qed.bot Claims of contribution to mathematics by GPT-5.2 Thinking. https://qed.bot/feeds/sys/gpt-5-2-thinking.xml 2026-03-24T00:00:00Z qed.bot 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 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 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 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 349 — partial (GPT-5.2 Thinking) urn:qed:548c0291014a 2026-03-09T00:00:00Z

Improved partial result. Autonomy A2, evidence V1, fidelity F2.

Erdős Problem 457 — full (GPT-5.2 Thinking) urn:qed:dca825013f77 2026-03-03T00:00:00Z

Tao (2026) (extension of problem). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 513 — partial (GPT-5.2 Thinking) urn:qed:cd265c881578 2026-03-01T00:00:00Z

Slight improvement to past construction. Autonomy A2, evidence V1, fidelity F0.

Erdős Problem 392 — full (GPT-5.2 Thinking) urn:qed:61a2a276d012 2026-02-27T00:00:00Z

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

Erdős Problem 846 — full (GPT-5.2 Thinking) urn:qed:92fb9610c281 2026-02-25T00:00:00Z

DeepMind prover agent (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 306 — partial (GPT-5.2 Thinking) urn:qed:d7df5fe61d04 2026-02-25T00:00:00Z

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

Erdős 783 — partial (GPT-5.2 Thinking) urn:qed:d59a93e5637b 2026-02-21T00:00:00Z

Tao (2026). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 358 — incorrect (GPT-5.2 Thinking) urn:qed:f63fb430fe8b 2026-02-20T00:00:00Z

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

Erdős 776 — partial (GPT-5.2 Thinking) urn:qed:5dd82a7d3745 2026-02-11T00:00:00Z

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

Erdős Problem 951 — partial (GPT-5.2 Thinking) urn:qed:bf1394b77084 2026-01-28T00:00:00Z

New solution to variant problem. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 751 — full (GPT-5.2-Codex, GPT-5.2 Thinking) urn:qed:5931488760cc 2026-01-27T00:00:00Z

Bondy and Vince (1998). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 1147 — full (GPT-5.2 Thinking) urn:qed:93516e569900 2026-01-26T00:00:00Z

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

Erdős Problem 1141 — partial (GPT-5.2 Pro, GPT-5.2 Thinking) urn:qed:3177422ad4e5 2026-01-25T00:00:00Z

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

Erdős 783 — partial (GPT-5.2 Thinking) urn:qed:350571389a0c 2026-01-24T00:00:00Z

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

Erdős 1161 — full (GPT-5.2 Thinking) urn:qed:8f944a951366 2026-01-24T00:00:00Z

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

Erdős 1154 — partial (GPT-5.2 Thinking) urn:qed:0e57a01aec2a 2026-01-24T00:00:00Z

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

Erdős 543 — full (GPT-5.2 Thinking) urn:qed:240540b6b0a0 2026-01-23T00:00:00Z

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

Erdős 684 — partial (GPT-5.2 Thinking) urn:qed:ff24e7067c3d 2026-01-19T00:00:00Z

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

Erdős Problem 888 — incorrect (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) urn:qed:267694f62f7e 2026-01-18T00:00:00Z

Incorrect proof found. Autonomy A3, evidence V1, 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 205 — full (Aristotle, GPT-5.2 Thinking) urn:qed:2eb5250a0f06 2026-01-10T00:00:00Z

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

Erdős Problem 728 — full (Aristotle, GPT-5.2 Thinking) urn:qed:e7dbc246ec70 2026-01-07T00:00:00Z

Aristotle and GPT-5.2 Pro (2026). 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.

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.