RE: https://mathstodon.xyz/@highergeometer/117323453342622319 Wow, more progress on the Riemann zeta function! We know in our bones that for all positive integers n, ζ(n)=1⁻ⁿ + 2⁻ⁿ + 3⁻ⁿ + ⋯ is irrational. But it's only been proved for n even, n = 3, .... and now, it seems, n = 5. This may seem small, but it's huge.