A mathematician says GPT-5.6 Pro helped find a counterexample to a graph theory conjecture that had been open for about 30 years. @DmitryRybin1 shared the ChatGPT log publicly, which is why AI researchers are passing it around. The reaction is mostly, wait, is this how open problems get attacked now?(Digg)