GPT-6 Astra proves Berge Fulkerson for C(20) graphs | Dark Hacker News