Researcher: frontier LLMs convincingly refuted his 30 years of P=NP attempts
csuwildcat · x · 2026-10-28
A researcher who spent years building SHA-256 as a Boolean circuit and decades attacking P=NP says he fed all his accumulated proof attempts to frontier LLMs — which "thoroughly and convincingly refuted every single line of reasoning" he had come up with over 30 years, leaving him believing for the first time that P≠NP. A rare first-hand account of LLMs as mathematical argument checkers.
More from Fun
- The two stages of research: 'I'm onto something' then 'oh no' — NC_Renic · 2026-10-28
- AI-generated 1970s-style album covers: 'Freak on a Leash (1973, Andalusia)' — techhalla · 2026-10-28
- Google DeepMind scientist's reply reveals AI VFX credits on F1, Alien: Romulus and Furiosa — TomLikesRobots · 2026-10-28
- Tesla ships a Halloween easter egg update: cars turn into plasma ghosts, trash cans grow eyes, turn signals hoot like barn owls — BWay124 · 2026-10-28
- Fake Wikipedia entry "Larplace's demon" mocking slop culture goes viral — wavefnx · 2026-10-28
- JEV Arena: 18 LLMs Fight 306 Rounds in an Open-Source 2D Fighting Game with 'Mental Attacks' — Mysterious_Hearing14 · 2026-10-28