T twitter.com GPT-6 Astra proves Berge Fulkerson for C(20) graphs 4 points fcesco 2 months ago 0 comments