Anthropic Releases Claude Opus 4.6 Solves Conjecture

On March 3, 2026, Donald Knuth said that Claude Opus 4.6, Anthropic's hybrid reasoning model released three weeks earlier, solved an open problem he had been pursuing for several weeks. Knuth described the result as a dramatic advance in automatic deduction and creative problem solving. The endorsement highlights potential progress in theorem proving and research workflows driven by advanced generative models.