Post

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

Tony Durham

@rhamdu.bsky.social

23 July

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

Boxo McFoxo

@boxobark.ing

no it's not

23/7/26, 9:25 am0 reposts24 likes

Tony Durham

@rhamdu.bsky.social

23 July

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

Boxo McFoxo

@boxobark.ing

23 July

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.

YetAnotherSteve

@yaseppochi.bsky.social

23 July

Sorry, I didn’t read your post before replying myself. Nevertheless, standing on the shoulders of a giant😁, I contributed “*stochastic* exhaustive search”.😂

orysk

@orysk.bsky.social

23 July

This problem isn't remotely in the realm of possible to brute force, and the counterexample is trivial. You could check it.

First Wordle Problems

@fwordleproblems.bsky.social

17 Aug

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?

Tony Durham

@rhamdu.bsky.social

17 Aug

You have summed it up perfectly.

Boxo McFoxo

@boxobark.ing

17 Aug

I'm interested in what mathematicians think about it; I'm not really interested in a bunch of interlopers whose concern is not advancing mathematics but pushing "AI" hype.