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.
More from Research
- MEMOIR benchmark: 117 synthetic oncology patients to test AI clinical memory — jefrankle · 2026-09-24
- 1.7h of intervention data beats 21h of demos: finetuning π0.5 on manufacturing — DominiqueCAPaul · 2026-09-24
- Basecamp Research raises $140M Series C for AI models trained on Trillion Gene Atlas — dr_alphalyrae · 2026-09-24
- Fine-tuning π0.5 on a real factory task: data diversity beats raw scale, hitting 98% success — DominiqueCAPaul · 2026-09-24
- π0.5 finetuning on real manufacturing: 1 hour of clean data beat the previous 17 — DominiqueCAPaul · 2026-09-24
- Inside Anthropic's new molecular biology lab: Claude proposes, scientists verify — AnthropicAI · 2026-09-24