In this talk, we will discuss the proof of irrationality of 2-adic zeta value at 5. It uses an arithmetic holonomicity theorem, which can be viewed as a refinement of André’s algebraicity criterion and has also been studied in the recent work of Bost and Charles. We will also discuss some other linear independence problems.

This is joint work with Frank Calegari and Vesselin Dimitrov.