Claude Mythos — qed.bot Claims of contribution to mathematics by Claude Mythos. https://qed.bot/feeds/sys/claude-mythos.xml 2026-06-03T00:00:00Z qed.bot Erdős Problem 52 — partial (Claude Mythos) urn:qed:99081a0b3086 2026-06-03T00:00:00Z Solution to variant problem. Autonomy A3, evidence V1, fidelity F0. 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.