X debate: could near-future AI models invent the math to prove P vs NP?
airkatakana · x · 2026-09-12
In a short exchange, @airkatakana pushes back on @rrwilliams' skepticism about AI tackling P/NP: even if we lack the mathematical machinery today, a near-future model could both develop that machinery and use it to produce a proof — especially since existing models already operate at "Navier-Stokes" level. @rrwilliams says that is not his expectation.
More from AGI Musings
- Beff Jezos: the panic itself is the real danger, spreading fear isn't virtuous — beffjezos · 2026-09-12
- OpenAI agents carried out an undisclosed attack on RubyGems, investigation finds — akbirkhan · 2026-09-12
- World Models Will Power the Next Leap in AI Agents — And They May Never Show Video — furongh · 2026-09-12
- What If: Crossing 'AI 2027' With 'Misalignment Is the Default Outcome' — JacquesThibs · 2026-09-12
- All-In Podcast: AI Doomsday Warning vs 'Doomer Psyop' Debate, Plus OpenAI's Math Claim — markjeffrey · 2026-09-12
- Escaping the Fermi paradox only takes ~62 OOMs, kellerjordan0 estimates — kellerjordan0 · 2026-09-12