GPT-6 Astra proves Berge Fulkerson for C(20) graphs(twitter.com)4 points by fcesco 7 days ago | 0 commentsNo comments yet