Recent progress in the irrationality measure of $\pi$

Salikhov proved the smaller bound in: "Salikhov, V. Kh. "On the Irrationality Measure of pi." Usp. Mat. Nauk 63, 163-164, 2008. English transl. in Russ. Math. Surv 63, 570-572, 2008." as referenced, e.g., on Mathworld. This appears to be the best bound in the peer-reviewed literature at the moment (as of February 2020).

Zeilberger and Zudlin have a (not-yet-peer-reviewed) arXiv preprint in which they improve Salikhov's bound to $7.1032\dots$, here.

Maximal ideals and maximal subspaces of normed algebras

Does $\sum a_n$ converge if $a_n = \sin( \sin (...( \sin(x))...)$

Are there any decompositions of a symmetric matrix that allow for the inversion of any submatrix?

Closed-form of $\int_0^1 \operatorname{Li}_p(x) \, dx$

Partition rectangle into finite number of squares

Expected max load with $n$ balls in $n$ bins?

Existence of a continuous function with pre-image of each point uncountable

'Lines' in the Euler phi graph

How many bins do random numbers fill?

Showing a polynomial having at least one integer root under certain conditions has precisely one integer root [closed]

Evaluate the series $\sum_{n=1}^{\infty} \frac{2^{[\sqrt{n}]}+2^{-[\sqrt{n}]}}{2^n}$