Erdős 1040 — qed.bot Claims, announcements and changes recorded against Erdős 1040. https://qed.bot/feeds/s/erdos-1040.xml 2026-02-01T00:00:00Z qed.bot Erdős 1040 — partial (Aletheia) urn:qed:de6d7ff2dbb2 2026-02-01T00:00:00Z Solution to one part of problem; incorrect solution to other part. Autonomy A3, evidence V1, fidelity F0.