Claude Opus 4.5 — qed.bot Claims of contribution to mathematics by Claude Opus 4.5. https://qed.bot/feeds/sys/claude-opus-4-5.xml 2026-02-17T00:00:00Z qed.bot Erdős Problem 93 — full (Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent) urn:qed:4d342276581a 2026-02-17T00:00:00Z Altman (1963). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 888 — incorrect (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) urn:qed:267694f62f7e 2026-01-18T00:00:00Z Incorrect proof found. Autonomy A3, evidence V1, fidelity F2. Erdős Problem 871 — full (Claude Opus 4.5, Gemini 3 Pro) urn:qed:19f099a32293 2026-01-05T00:00:00Z Existing partial result upgraded to full solution (Lean). Autonomy A2, evidence V2, fidelity F2. Erdős Problem 333 — full (Claude Opus 4.5, GPT-5.2 Pro) urn:qed:7218e8e2e13e 2025-12-25T00:00:00Z Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.