Tootfinder

#gpt5 has found solutions to some of the Erdős problems on https://www.erdosproblems.com/
The fun part: by "found" they mean "found on the web". 😁
But that points to something. Mathematics literature is quite spread out and sometimes hard to read.
The social network is very important. We need experienced folks who tell us "oh, in 1971 X told me about her paper Y containing result Z".
While Gary Marcus is still making fun of this, it shows how valuable llms could be for literature search.

#gpt5 (high) is sooooooooooooooooooooooooooooooo sloooooooooooooooooooooooow..........
but... damn... it's sooooooooooooooooooooooooooooo good at crawling a large codebase, finding and understanding everything....
just do other stuff and let it do its job, better slow and accurate than fast and wrong

That's the output of #GPT5 *HIGH* 😞
I get it now, if many people complain about GPT-5 🙄
and yes: i have never seen anything similar from sonnet.....
#ai #coding