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

 (twitter.com)

4 points | by fcesco 14 hours ago ago

No comments yet.