[OT] AI Claude solves open problem unsolved by Knuth

[Georgi Guninski]

The AI gonna own us all.

https://www.toolmesh.ai/news/claude-ai-solves-graph-theory-conjecture-knuth

---
Claude Opus 4.6, an AI model developed by Anthropic, has independently
solved a long-standing graph theory conjecture, prompting computer
scientist Donald Knuth to re-evaluate the role of generative AI in
mathematical research. Knuth, known for his multi-volume work "The Art
of Computer Programming," published a paper on Stanford's official
website detailing the AI's achievement.
---

[Michael Orlitzky]

On 2026-03-05 15:48:24, Georgi Guninski wrote:
> The AI gonna own us all.
>
> https://www.toolmesh.ai/news/claude-ai-solves-graph-theory-conjecture-knuth

How much is the monthly subscription to Donald Knuth?

> While Claude provided the construction method, Knuth subsequently
> provided the rigorous mathematical proof, demonstrating that the
> path visited all m^2 vertices with the same i value, then covered all
> i sequentially, forming a complete cycle of length m^3. Similar
> proofs applied to the other two cycles, thus solving the entire
> problem.
>
> Knuth further discovered that Claude's solution was not unique, with
> 760 similar decomposition methods existing, all sharing the same
> structure. Claude had found just one of these. It is important to
> note that Claude only solved the case where m is odd; a general
> solution for even m remains elusive, and the m=2 case has been
> proven impossible.

Having used the computer to discover things that are probably true is
probably true of everyone here.

[Jaap Spies]

Read what Knuth writes:

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

Op do 5 mrt 2026, 15:04 schreef Michael Orlitzky <mic...@orlitzky.com>:

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sage-devel/aamNWnZESVFDXyf7%40mertle.