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

(reddit.com)

2 points | by ogogmad 6 hours ago ago

1 comments