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,...
https://t.co/g9iZ8SrtOI
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
https://t.co/7N6TPlft1P