Datorvetenskapens legend Donald Knuth har delat en fantastisk historia: AI:n Claude Opus knäckte ett knepigt matteproblem som han brottats med i veckor – komplett med rigorös bevisföring och elegant konstruktion. Det här är inte bara ännu en "AI slår människa"-historia. Det är en glimt av hur artificiell intelligens kan samarbeta med matematiker och driva gränserna för mänsklig kunskap framåt.