GPT-6 Astra proves Berge Fulkerson for C(20) graphs

(twitter.com) by fcesco | Sep 4, 2026 | 0 comments on HN