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?