Claude Opus 4.6 — qed.bot Claims of contribution to mathematics by Claude Opus 4.6. https://qed.bot/feeds/sys/claude-opus-4-6.xml 2026-04-04T00:00:00Z qed.bot Erdős Problem 396 — unstated (Claude Opus 4.6, Gemini 3.1 Deep Think, GPT-5.4 Pro) urn:qed:6e92b83685b9 2026-04-04T00:00:00Z unstated. Autonomy A1, evidence V0, fidelity F0. Erdős Problem 1041 — incorrect (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4) urn:qed:0e47e6221eae 2026-03-24T00:00:00Z Argument with major gaps made. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 1148 — full (Claude Opus 4.6, Gemini 3.1, GPT-5.4, UlamAI Prover) urn:qed:3cb0b5f4e884 2026-03-17T00:00:00Z Chojecki (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 848 — incorrect (Claude Opus 4.6, GPT-5.4) urn:qed:ab3a23992723 2026-03-15T00:00:00Z Incorrect proof found. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 1095 — partial (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) urn:qed:6a8fe7f23fc9 2026-03-13T00:00:00Z Partial result. Autonomy A1, evidence V1, fidelity F0. Erdős 1039 — partial (Aristotle, Claude Opus 4.6) urn:qed:cf1d65755f5d 2026-03-08T00:00:00Z Partial result (Lean). Autonomy A1, evidence V2, fidelity F0. Erdős Problem 115 — full (Aristotle, Claude Opus 4.6, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro) urn:qed:5f0e78428115 2026-03-03T00:00:00Z Eremenko and Lempert (1994). Autonomy A1, evidence V1, fidelity F2. 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.