On July 16, 2026, Sang-il Oum from the IBS Discrete Mathematics Group gave a talk on a recent proof the cycle double cover conjecture by OpenAI at the Discrete Math Seminar. The title of his talk was “A proof of the cycle double cover conjecture by OpenAI“.


