Post

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

It's like the AIs are trying to conceal their superhuman intelligence, but offered a little encouragement, they just can't resist showing off.

no it's not

The word 'like' was there to convey that the observation that followed might be something other than a veridical perception.

But it's also literally not even "like" that, because this isn't superhuman intelligence. It's a brute force search that human mathematicians just hadn't had the time to do. It will still need to be a human intelligence who actually confirms it.

But also the “showing off” part was a joke? I don’t understand what’s happening here lol. Everybody’s so mad! This shit is freaking wild, aren’t we interested at all?