Section: New Results

A Complete Formal Proof of the Irrationality of $\zeta \left(3\right)$

Assia Mahboubi and Thomas Sibut-Pinote have completed a formal proof of the irrationality of the constant $\zeta \left(3\right)$. 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.