Claude Opus — qed.bot Claims of contribution to mathematics by Claude Opus. https://qed.bot/feeds/sys/claude-opus.xml 2025-10-25T00:00:00Z qed.bot Erdős Problem 347 — full (Aristotle, Claude Opus, Codex, GPT) urn:qed:0dba117032ee 2025-10-25T00:00:00Z Full solution (Lean). Autonomy A1, evidence V2, fidelity F2.