OpenAI researcher speculates math AI could soon prove P != NP for good

markjeffrey · x · 2026-10-08

OpenAI researcher Mark Jeffrey tweeted that a new "fancy math AI" could soon prove, once and for all, that P != NP — a bold bet on rapidly improving mathematical reasoning in frontier models.

Original post →

More from AGI Musings

AGI Musings channel →