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
- Softmax probabilities don't match real-world frequencies, breaking cross-company calibration — HanchungLee · 2026-09-17
- PiSSA-style SVD init for LoRA adapters also improves downstream RL training, Trajectory Labs reports — simonguozirui · 2026-09-17
- New report examines how AI is reshaping science and innovation today — soumitrashukla9 · 2026-09-17
- AI Slop Papers Make Reviewing Easier: Only 25-50% Deserve Careful Reads — tallinzen · 2026-09-17
- TMLR's unusual Zoom tests: 7 of 7 invited authors fail to explain their own papers — deliprao · 2026-09-17
- Human organoids grow to occupy most of mouse cortex in Nature xenocortical study — Dr_Alex_Crimi · 2026-09-17