Post

the Dinitz-Garg-Goemans conjecture, a graph theory problem that’s gone unsolved for 30 years, was solved with this prompt

Just to point out, there's also an uploaded file with this prompt. We can't read the file from the chat log. So it's a little more complex than just that prompt. But, the file could have just explained what the conjecture is, maybe some leading theories.