Post #2738822
2026-05-21 13:34 UTC
HN, lobste.rs and LW are jizzing themselves over the newspress release that ChatGPT[1] has disproven an Erdos[2] conjecture.
no-one pauses to think this is a transparent attempt to goose interest in OpenAI before they commit an IPO
[1] I know it’s not literally ChatGPT, it’s an “internal model”
[2] fuck trying to find the double acute accent or w/e it’s called over the o
Replies (3)
-
@blakestacey@awful.systems 2026-05-21 14:03
I would expect both lobste.rs and LW to be open sewers of credulity here
-
@froztbyte@awful.systems 2026-05-21 15:32
[2] fuck trying to find the double acute accent or w/e it’s called over the o in afrikaans: “deelteken” in english: I literally can never remember it, but I remember “umlaut”
-
@lurker@awful.systems 2026-05-21 19:32
Did it actually solve this one or did it just find a pre-existing solution like it did the last time?