Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI

(twitter.com) by pfdietz | Aug 18, 2026 | 0 comments on HN