Erdős Problem 90: The unit distance problem — qed.bot Claims, announcements and changes recorded against Erdős Problem 90: The unit distance problem. https://qed.bot/feeds/s/erdos-90.xml 2026-06-12T00:00:00Z qed.bot Erdős Problem 90: The unit distance problem — full (Aleph Prover) urn:qed:e84c27a326fd 2026-06-12T00:00:00Z OpenAI internal model (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 90: The unit distance problem — full (GPT-5.5 Pro) urn:qed:efc432a4d6b5 2026-06-09T00:00:00Z Improved explicit bound. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 90: The unit distance problem — full (Claude Mythos) urn:qed:f9a4dbfe9bf9 2026-05-26T00:00:00Z Full solution. Autonomy A3, evidence V1, fidelity F2. Erdős Problem 90: The unit distance problem — full (OpenAI internal model) urn:qed:08473a5a5f9e 2026-05-20T00:00:00Z Full solution. Autonomy A3, evidence V1, fidelity F2.