Axiom claims proof of generalized quasi-Riemann hypothesis for all Dedekind zeta functions
basedjensen · x · 2026-10-15
Per Carina Hong, Axiom (an AI math system) claims to have proved the generalized Quasi Riemann Hypothesis for all Dedekind zeta functions.
Oliver Korten notes a key complexity consequence: if the claimed quasir-Riemann result holds, the boolean-complexity lower bound NP not in P/poly would imply Valiant's conjecture VP != VNP over the complex numbers — previously proved by Burgisser only under GRH. If verified, this would be a landmark for AI-assisted mathematics.
More from AGI Musings
- Mocking AI bubble callers: reviewing the auto industry after riding a golf cart — VraserX · 2026-10-15
- Chatbots' bad health advice leaves no trace, warn researchers in Nature Health paper — alex_verem · 2026-10-15
- Ari Emanuel on AI: Agent Era Threatens Google and Amazon Ads, Social Networks Undervalued — Stratechery · 2026-10-15
- Yacine: you can outsource your thinking, but not your understanding — sanjanasinghx · 2026-10-15
- Creative industry asks: is the AI "taste" discourse engineers trying to solve creativity? — teropa · 2026-10-15
- AI for Science: don't spend data teaching models symmetries physics already encodes — bravo_abad · 2026-10-15