Claude Opus 5 — qed.bot Claims of contribution to mathematics by Claude Opus 5. https://qed.bot/feeds/sys/claude-opus-5.xml 2026-07-29T00:00:00Z qed.bot Erdős 106 — full (Claude Opus 5) urn:qed:760391944db2 2026-07-29T00:00:00Z Disproved: showed that f(17) > 4.. Autonomy A?, evidence V1, fidelity F0.