zeta(5) Likely Proven Irrational, Author Says Astra Verified the Argument
aran_nayebi · x · 2026-09-24
Elliot Glazer reports that Aabir Fauzan has very likely proven zeta(5) irrational, posting a preprint on Zenodo (apparently lacking an arXiv endorsement). Glazer says he had Astra study the argument and it fully vouches for its correctness — an example of AI-assisted verification of a math proof.
Related event: Zeta(5) Proven Irrational, Formalized in Lean Within Hours(4 posts)→
More from Research
- AlphaGenome 2 commercial API enters Google Cloud private preview, weights promised later — anshulkundaje · 2026-11-11
- DeepMind launches AlphaGenome 2 with major performance leap in variant-effect prediction — anshulkundaje · 2026-11-11
- Nearly 30% of US STEM PhD dissertations now have AI-generated abstracts, NBER study finds — joshgans · 2026-11-11
- Stanford's DyCraft Uses Agentic Decomposition to Cut Physical Errors in Long-Horizon 4D Scene Generation — StanfordUniversity · 2026-11-11
- Bert Chan on His Unconventional Path from Side-Projects to the ALife Institute — BertChakovsky · 2026-11-11
- CGM Study of 62,000 People: Average Glucose Beats HgbA1C at Detecting High Insulin — arjunrajlab · 2026-11-11