Hacker News new | ask | show | jobs
by famouswaffles 104 days ago
Claude solved it, Knuth developed the proof for the solution.