logoalt Hacker News

done_lurking • today at 4:08 PM • 0 replies • view on HN

I can't wait to see AI disprove the DN conjecture soon.