Seed Prover 1.5 — qed.bot Claims of contribution to mathematics by Seed Prover 1.5. https://qed.bot/feeds/sys/seed-prover-1-5.xml 2025-12-21T00:00:00Z qed.bot Erdős Problem 379 — full (Seed Prover 1.5) urn:qed:87f17ec836c0 2025-12-21T00:00:00Z New proof found. Autonomy A2, evidence V1, fidelity F2. Erdős Problem 958 — full (Seed Prover 1.5) urn:qed:1ff5616768e4 2025-12-19T00:00:00Z Clemen, Dumitrescu, and Liu (2025). Autonomy A1, evidence V1, fidelity F0.