Zeta(5) has been proven irrational (also Lean-verified) (reddit.com)

1 points by ogogmad 6d ago ↗ HN

1 comment

[ 0.22 ms ] story [ 3.9 ms ] thread

ogogmad 6d ago ↗

This ticks off 1/3 problems classed as "groundbreaking" by Epoch AI: https://epoch.ai/frontiermath/open-problems/apery-irrational...