Gaia > OpenAI
Similar posts
3 posts close in meaning, closest first
OpenAI: "A counterexample to Hadwiger's conjecture" We disprove Hadwiger's conjecture by constructing arbitrarily large graphs whose chromatic number exceeds their Hadwiger number. The examples have independence number at most two,... github.com/openai/math/blob/ma…
#openAI released more than 700 Theoremoids: github.com/openai/math/tree/ma… It does include Hilbert’s 10th problem over QQ right on the first page which I have also been prompting (only half-jokingly): machteburch.social/@tomkalei/1… mathe.social/@tomkalei/1172302… So it’s undecidable… told you so.
OpenAI: We prove the Unique Game Conjecture. github.com/openai/math/blob/ma…
