EN FR
EN FR


Section: New Results

A Complete Formal Proof of the Irrationality of ζ(3)

Assia Mahboubi and Thomas Sibut-Pinote have completed a formal proof of the irrationality of the constant ζ(3). The missing step in a previous work  [32] with Frédéric Chyzak and Enrico Tassi was to obtain a formal proof of the asymptotic behaviour of the least common multiple of the first n integers. They have written a report on this work, which is included as a chapter in Thomas Sibut-Pinote's PhD manuscript.