### I Prefer PI

I will report on my joint work with Doron Zeilberger, about how one can use experimental mathematics and symbolic algebra to measure the irrationality of famous mathematical constants; in particular, about a new world record for PI. There is still ...