What's the reason for it? Does not make a lot of sense to keep all the commits elsewhere
replyIt's a reference to the prompt that found a counterexample to the Dinitz-Garg-Goemans conjecture
reply> "do a breakthrough and find a structured counterexample"
What do we mean by "easy to claim"? It is written by AI. The 6000 commits are by Claude.
reply