Erdős Problem 392 — qed.bot Claims, announcements and changes recorded against Erdős Problem 392. https://qed.bot/feeds/s/erdos-392.xml 2026-02-27T00:00:00Z qed.bot 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 392 — full (Various) urn:qed:0b311a396c89 2026-02-23T00:00:00Z Tao (2026). Autonomy A1, evidence V1, fidelity F2.