Donald Knuth says an AI solved a math problem he was stuck on for weeks

(boingboing.net) by taubek | Mar 6, 2026 | 0 comments on HN