2014/05/17 by Ekhad, Shalosh B., Zeilberger, Doron
#FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.1405.4445
Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new irrationality proofs of many new constants, alas, none of them is both famous and not-yet-proved-irrational.