| ▲ | luciana1u 2 hours ago | |
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. | ||
| ▲ | andriy_koval 2 hours ago | parent [-] | |
My bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable. | ||