GPT-5.2 Pro — qed.bot

GPT-5.2 Pro — qed.bot Claims of contribution to mathematics by GPT-5.2 Pro. https://qed.bot/feeds/sys/gpt-5-2-pro.xml 2026-06-19T00:00:00Z qed.bot Erdős Problem 1139 — candidate (GPT-5.2 Pro, GPT-5.5 Pro) urn:qed:1daccb189823 2026-06-19T00:00:00Z

Candidate full solution. Autonomy A1, evidence V0, 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 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 457 — full (Aristotle, GPT-5.2 Pro) urn:qed:97edde5349da 2026-03-02T00:00:00Z

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

Erdős Problem 872 — partial (GPT-5.2 Pro) urn:qed:aff52d2084b9 2026-02-16T00:00:00Z

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

Erdős Problem 513 — unstated (GPT-5.2 Pro) urn:qed:eead072f4cdf 2026-02-12T00:00:00Z

unstated. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 358 — incorrect (GPT-5.2 Pro) urn:qed:f97d257712f3 2026-02-11T00:00:00Z

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

Erdős 635 — partial (Aristotle, GPT-5.2 Pro) urn:qed:88e413da5bcb 2026-01-30T00:00:00Z

Solution to one part of problem (Lean). Autonomy A3, evidence V2, fidelity F0.

Erdős Problem 951 — partial (GPT-5.2 Pro) urn:qed:6dcc42111f33 2026-01-27T00:00:00Z

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

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 543 — full (GPT-5.2 Pro) urn:qed:facaeca10b9c 2026-01-21T00:00:00Z

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

Erdős 788 — partial (GPT-5.2 Pro) urn:qed:8b7ef5aaaef9 2026-01-20T00:00:00Z

New partial result. Autonomy A2, evidence V1, fidelity F0.

Erdős Problem 847 — full (GPT-5.2 Pro) urn:qed:8a5bde246f1a 2026-01-19T00:00:00Z

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

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 616 — incorrect (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro) urn:qed:713f88c01bc4 2026-01-18T00:00:00Z

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

Erdős Problem 233 — incorrect (GPT-5.2 Pro) urn:qed:88af41e1bd70 2026-01-18T00:00:00Z

Incorrect (conditional) proof found. Autonomy A3, evidence V1, fidelity F2.

Erdős 652 — full (GPT-5.2 Pro) urn:qed:3a469e1d2e37 2026-01-17T00:00:00Z

Full solution by applying literature results. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 281 — full (GPT-5.2 Pro) urn:qed:9f70b2950e1f 2026-01-17T00:00:00Z

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

Erdős Problem 281 — full (Gemini 3 Pro, GPT-5.2 Pro) urn:qed:3a0e3bfd0ec5 2026-01-17T00:00:00Z

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

Erdős 1130 — full (GPT-5.2 Pro) urn:qed:ba0402fc36a0 2026-01-17T00:00:00Z

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

Erdős 1129 — full (GPT-5.2 Pro) urn:qed:ffeb42fca2ab 2026-01-17T00:00:00Z

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

Erdős Problem 401 — full (Aristotle, GPT-5.2 Pro) urn:qed:cffbd24bffa8 2026-01-11T00:00:00Z

Full solution (Lean); solution to variant problem. Autonomy A1, evidence V2, fidelity F2.

Erdős Problem 729 — full (Aristotle, GPT-5.2 Pro) urn:qed:10dde7887382 2026-01-10T00:00:00Z

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

Erdős Problem 397 — full (Aristotle, GPT-5.2 Pro) urn:qed:09ac3d657cf2 2026-01-10T00:00:00Z

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

Erdős Problem 728 — full (Aristotle, GPT-5.2 Pro) urn:qed:e6d66573cd7b 2026-01-06T00:00:00Z

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

Erdős Problem 1044 — incorrect (GPT-5.2 Pro) urn:qed:8ae804fd142b 2026-01-05T00:00:00Z

Incorrect claim made. Autonomy A3, evidence V1, fidelity F2.

Erdős 524 — partial (GPT-5.2 Pro) urn:qed:136ff877beda 2025-12-27T00:00:00Z

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

Erdős Problem 333 — full (Claude Opus 4.5, GPT-5.2 Pro) urn:qed:7218e8e2e13e 2025-12-25T00:00:00Z

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

Erdős Problem 333 — incorrect (GPT-5.2 Pro) urn:qed:b8a10c3da163 2025-12-25T00:00:00Z

Incorrect proof claimed; literature proof not found. Autonomy A1, evidence V1, fidelity F2.