ζ(5) Proven Irrational, with Lean Formalization Completed Within Hours
ctjlewis · x · 2026-09-24
Elliot Glazer announced that ζ(5) is in fact irrational, a notable advance on the zeta function's values. Mathematician Moritz Firsching completed a Lean formalization of the result within hours and published the repository. Full proof details are in the linked repository as discussion continues.
Related event: Zeta(5) Proven Irrational, Formalized in Lean Within Hours(4 posts)→
More from Research
- OpenRSI launches benchmark testing recursive self-improvement on 1k-GPU clusters with 60+ hour agent runs — ChengleiSi · 2026-09-24
- OpenRSI calls for contributors: turn your research into benchmark tasks for frontier agents — ChengleiSi · 2026-09-24
- PosteriorBench: better reconstruction accuracy can mean worse posterior recovery — AnimaAnandkumar · 2026-09-24
- Third Unitree G1 Humanoid Soccer Demo in One Day Shows Sustained Dribbling With Onboard LiDAR — Darpinian · 2026-09-24
- 30 annotations with GEPA prompt optimization boost lead scorer accuracy 43%, cut cost 5x — CShorten30 · 2026-09-24
- Anthropic biologists: Claude's biology progress in a year is breathtaking, from hypothesis to lab confirmation — Flomerboy · 2026-09-24