AI System Claude Solves Open Graph Theory Problem, Impresses Computer Science Legend Knuth

The renowned mathematician Terence Tao believed that AI would become a reliable co-author for academic papers in mathematics within a few years. This prediction has now come true, as the AI system Claude has solved an open problem in graph theory that had been troubling computer science pioneer Donald Knuth for weeks.

Details

The article describes how the renowned mathematician Terence Tao had predicted that AI would become a reliable co-author for academic papers in mathematics within a few years. This prediction has now come true, as the AI system Claude has solved an open problem in graph theory that had been troubling computer science pioneer Donald Knuth for weeks. Knuth, who is 88 years old, was working on the problem for his famous book series 'The Art of Computer Programming' when he reached out to his friend Filip Stappers for help. Stappers then passed the problem on to Claude, which tried a series of strategies to solve it. After 25 attempts, Claude was able to find a general solution to the problem, though it was not fully developed. This achievement is significant as some experts had doubted the ability of AI systems to handle advanced mathematical problems, with some teachers even claiming that ChatGPT made mistakes in basic mathematics. The article suggests that this event is a remarkable milestone in the progress of AI and its ability to contribute to mathematical research.