AnalysisScienceSeptember 27, 2026

FrontierMath marks Apéry irrationality problem solved

Read original source →epoch.ai

Epoch AI marked the ζ(5) irrationality target solved after a preprint and Lean formalization, though the proof is not "Apéry-style" as the problem sought. The preprint does not acknowledge substantial AI use, but Epoch judged it "human + AI".

1 source

More stories today

Open the live feed