Aleph Prover — qed.bot Claims of contribution to mathematics by Aleph Prover. https://qed.bot/feeds/sys/aleph-prover.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 1071 — full (Aleph Prover, Aristotle, GPT) urn:qed:f752bd027a81 2026-01-29T00:00:00Z Danzer; Alexeev (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 1067 — full (Aleph Prover, Aristotle) urn:qed:0cc444ce818f 2026-01-28T00:00:00Z Bowler and Pitz (2024). Autonomy A1, evidence V1, fidelity F2.