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