Claude Opus 4.7 — qed.bot Claims of contribution to mathematics by Claude Opus 4.7. https://qed.bot/feeds/sys/claude-opus-4-7.xml 2026-06-21T00:00:00Z qed.bot Erdős Problem 1197 — full (Aristotle, Claude Opus 4.7, GPT-5.4 Pro) urn:qed:b6a97e12c2cf 2026-06-21T00:00:00Z Full solution (Lean). Autonomy A2, evidence V2, fidelity F2. Erdős 696 — full (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:77ca53fbdade 2026-06-05T00:00:00Z Full solution (Lean). Autonomy A1, evidence V2, fidelity F0. Erdős Problem 694 — full (Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:3d09fed8df1b 2026-06-05T00:00:00Z GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F0. Erdős Problem 762 — full (Aristotle, Claude Opus 4.7, GPT) urn:qed:edd98d1ca14a 2026-06-03T00:00:00Z Steiner (2024). Autonomy A1, evidence V3, fidelity F2. Erdős Problem 71 — full (Aristotle, Claude Opus 4.7, GPT-5.5) urn:qed:239969e360fe 2026-05-24T00:00:00Z Bollobás (1977). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 263 — partial (Aristotle, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:f476ac41fc25 2026-05-09T00:00:00Z Partial result (Lean) (solution to second part). Autonomy A3, evidence V2, fidelity F2. Erdős Problem 351 — full (Claude Opus 4.7, GPT-5.5 Pro) urn:qed:b1ee8ab51052 2026-05-06T00:00:00Z Barreto, GPT-5.5 Pro, and Price (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 283 — full (Claude Opus 4.7, GPT-5.5 Pro) urn:qed:4e1cea1ddfe6 2026-05-06T00:00:00Z Barreto, GPT-5.5 Pro, and Price (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 750 — full (Claude Code, Claude Opus 4.7, GPT-5.5 Pro) urn:qed:4721e7da55c4 2026-05-04T00:00:00Z Chojecki and GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F2.