GPT-5.2 — qed.bot

GPT-5.2 — qed.bot Claims of contribution to mathematics by GPT-5.2. https://qed.bot/feeds/sys/gpt-5-2.xml 2026-01-30T00:00:00Z qed.bot Erdős 524 — partial (Gemini, GPT-5.2, Grok) urn:qed:588c3e556623 2026-01-30T00:00:00Z

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

Erdős Problem 848 — full (Aristotle, Claude, GPT-5.2) urn:qed:5f503991bef3 2026-01-28T00:00:00Z

Sawhney (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős 783 — partial (GPT-5.2) urn:qed:30caf9fd06f3 2026-01-23T00:00:00Z

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

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 460 — partial (GPT-5.2) urn:qed:8ac329abe0ec 2026-01-13T00:00:00Z

Reduction to a simpler problem. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 689 — candidate (Codex, GPT-5.2, GPT-5.5 Pro) urn:qed:9477d1eb1531 2025-10-29T00:00:00Z

Candidate full solution. Autonomy A1, evidence V3, fidelity F3.