Liouville Goldbach Conjecture Fully Proven and Lean-Verified, Code Released on GitHub
ctjlewis · x · 2026-09-17
- @captainsude announced that the Liouville version of the Goldbach conjecture is now fully proven and Lean-verified: every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.
- The proof is published as v1.0.0 on GitHub (CaptainSude/Liouville-Goldbach), with a commit signed by GitHub's verified signature.
- Another notable instance of formal verification (Lean) being used to certify number-theoretic research results.
More from Research
- Radial gate objective cuts diffusion transformer FID from 16.24 to 11.83 — Junha Park · 2026-11-02
- REA: async brain-cerebellum runtime for robots where policies never wait on the LLM — Pengfei Zhou · 2026-11-02
- Microsoft's MemSteer turns unlabeled user histories into agent memory supervision — MicrosoftResearch · 2026-11-02
- SciGame benchmark uses counterfactual worlds to expose LLM agents' priors vs evidence — Yusheng Zhao · 2026-11-02
- On Terence Tao's blog, Frank Calegari calls on mathematicians to adapt after OpenAI's 700-paper release — Hesamation · 2026-11-02
- Tsinghua & Microsoft's HarnessMM cuts agent token use by up to 87.93% while raising success rate — rohanpaul_ai · 2026-11-02