We just proved the first 'alien' math formula discovered by an AI.
April 17, 2026
Original Paper
The level-8 Apery-limit and a proof of the Ramanujan Machine conjecture Z1
arXiv · 2604.14219
AI-generated illustration
The Takeaway
For centuries, mathematical breakthroughs relied entirely on human intuition, but a system called the 'Ramanujan Machine' started spitting out formulas it couldn't explain. This paper finally provides the rigorous proof for one of those machine-born conjectures, known as Z1, which involves complex continued fractions. It’s like an AI found a hidden shortcut in the landscape of numbers that mathematicians didn't even know existed. Before this, we weren't sure if these AI 'hunches' were just coincidences or profound new truths. Now, we know for sure that machines can find fundamental laws of math that humans missed. It means we’re entering an era where AI isn't just calculating for us—it's actually out-thinking us in the abstract world.
From the abstract
We prove the level-8 Apery-limit lim B_n^{(8)}/s_n = (7/32) zeta(3), where s_n = sum_{k=0}^n C(n,k)^2 C(2k,n)^2 and B_n^{(8)} is the rational companion sequence. As a corollary we prove the Ramanujan Machine continued-fraction identity PCF((2n+1)(3n^2+3n+1), -n^6) = 8/(7 zeta(3)). The argument uses the level-8 eta-product parametrization, a Wronskian identity, Eichler integrals, and Mellin-Barnes extraction of the period polynomial. The value (7/32) zeta(3) was identified by Almkvist-van Straten