GPT-6 Astra proves Berge Fulkerson for C(20) graphstwitter.com4 points·fcesco··0 commentsOpen articleSaveView on HN