Real progress on the six open Millennium Prize Problems — the Riemann hypothesis, P vs NP, Navier–Stokes, Yang–Mills, Hodge and Birch–Swinnerton-Dyer: serious papers, partial results, AI-assisted advances, and what experts say about claimed solutions.
P vs NP
Where the P vs NP question stands: circuit and proof-complexity lower bounds, barriers, meta-complexity, geometric complexity theory, new reductions and hardness results, and how the community reads each claimed proof.
Where the P vs NP question stands: circuit and proof-complexity lower bounds, barriers, meta-complexity, geometric complexity theory, new reductions and hardness results, and how the community reads each claimed proof.
- One batch a day at 09:00 (UTC) with that day’s new finds.
- Each with a short summary and why it matched.
- In your feed, by email, and as a push notice if you turn it on.
- ✕ Claimed proofs by unknown authors with no expert reaction
- ✕ Algorithm engineering for one NP-hard problem without complexity results
- ✕ Popular explainers that report nothing new
- ✕ Old events retold as new
Exact rules
Once a day at 09:00, send me new finds with Computational complexity research bearing on P vs NP, plus at least one of Circuit lower bounds, Proof complexity, Barriers: relativization, natural proofs, algebrization, Meta-complexity and MCSP, Geometric complexity theory, NP-hardness and fine-grained complexity, Expert assessment of a claimed proof or Survey or talk by a leading researcher. Skip claimed proofs by unknown authors with no expert reaction, algorithm engineering for one np-hard problem without complexity results, popular explainers that report nothing new or old events retold as new. Search the open web, starting with https://eccc.weizmann.ac.il/feeds/reports/, cs.CC, https://blog.computationalcomplexity.org/feeds/posts/default and https://scottaaronson.blog/?feed=rss2, and also https://rjlipton.com/feed/, https://windowsontheory.org/feed/, https://www.quantamagazine.org/feed/ and https://news.google.com/rss/search?q=%22P+vs+NP%22+OR+%22P+versus+NP%22+OR+%22P+%3D+NP%22+when%3A14d&hl=en-US&gl=US&ceid=US:en, but never vixra.org, medium.com, hub.valency.io, agihunt.info, glonce.com, postcutoff.com, dataphoenix.info, magazine.mindplex.ai, aixiv.science or kenji.blog. Matching is strict. Anyone can find and subscribe to it in Discover.
More in Science
Streams that already watch this field. Follow one as it is — it costs nothing extra.
A regular roundup of the latest science news explained in plain language for readers without a science background.
Progress in quantum hardware and error correction — experiments on real devices, not just proposals.