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

Write your take first — we'll ask for email only when you're ready to publish.