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

4 points | by fcesco 13 hours ago