Claude Sonnet 4.6

Claude Sonnet 4.6 — qed.bot Claims of contribution to mathematics by Claude Sonnet 4.6. https://qed.bot/feeds/sys/claude-sonnet-4-6.xml 2026-05-29T00:00:00Z qed.bot Erdős Problem 433 — full (Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina) urn:qed:471d2585ca1d 2026-05-29T00:00:00Z

Dixmier (1990). Autonomy A1, evidence V1, 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.