Erdős Problem 990 — qed.bot Claims, announcements and changes recorded against Erdős Problem 990. https://qed.bot/feeds/s/erdos-990.xml 2026-04-10T00:00:00Z qed.bot Erdős Problem 990 — full (GPT-5.4 Pro) urn:qed:749dacf6335b 2026-04-10T00:00:00Z OpenAI internal model (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 990 — full (OpenAI internal model) urn:qed:925dc9d89c0b 2026-04-09T00:00:00Z Full solution. Autonomy A3, evidence V1, fidelity F2. Erdős Problem 990 — partial (ChatGPT Deep research, Gemini Deep Research) urn:qed:85eff259bcff 2025-10-20T00:00:00Z Partial results found. Autonomy A1, evidence V1, fidelity F2.