GPT-5.2-Codex — qed.bot Claims of contribution to mathematics by GPT-5.2-Codex. https://qed.bot/feeds/sys/gpt-5-2-codex.xml 2026-01-27T00:00:00Z qed.bot 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.