**Datavitenskapens legende Donald Knuth delte nylig en utrolig historie: AI-en Claude Opus løste et krevende matteproblem han hadde slitt med i uker – med streng bevisføring og elegant konstruksjon. Dette er ikke bare enda en «AI slår menneske»-sak. Det er et blikk på hvordan kunstig intelligens kan samarbeide med matematikere og skyve grensene for hva vi vet.