alt Hacker Newsthe cycle double cover conjecture was open for 50 years. GPT-5.6 solved it in an afternoon and then asked if there were any more like it.
the cycle double cover conjecture was open for 50 years. GPT-5.6 solved it in an afternoon and then asked if there were any more like it.
My bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable.