Seed Prover — qed.bot Claims of contribution to mathematics by Seed Prover. https://qed.bot/feeds/sys/seed-prover.xml 2026-01-15T00:00:00Z qed.bot Erdős Problem 94 — full (Codex, GPT-5.2 Thinking, Seed Prover) urn:qed:525824a3615f 2026-01-15T00:00:00Z Lefmann and Thiele (1995). Autonomy A1, evidence V3, fidelity F2. Erdős Problem 303 — full (Seed Prover) urn:qed:97f284f0f67a 2025-12-21T00:00:00Z Brown and Rödl (1991). Autonomy A1, evidence V1, fidelity F1.