Hacker Times

HomeNewBestShowAboutSearchTrends
NEW

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

twitter.com