2026-10-29 11:13 UTC
Since all the attention is on Anthropic’s IPO, OpenAI claim to refuted the ETH hypothesis
Their usual strategy of “throw unsustainable amounts of compute at spaffing out lean proofs like infinite monkey theory and rope an army of humans in to validate the proofs” seems to apply here.
Replies (2)
-
@corbin@awful.systems 2026-10-29 16:28
To complexity theorists, this is an extremely funny situation; I bet OpenAI started by asking the bot about P vs NP and they got the worst-possible result, a useless and unexpected refutation of a conjecture. To be clear, I don’t trust Lean or OpenAI, so I don’t yet accept this result, but I hear Ryan Williams and Russell Impagliazzo are hand-checking the proof and I do trust them.
-
@lagrangeinterpolator@awful.systems 2026-10-29 22:35
The boosters hope that the AI will replace mathematicians, but they are running into an awfully inconvenient fact: theorems and proofs are useless without people who care enough to understand them and make meaning from them.