Catalan's constant is irrational (proof with the help of AI)

(arxiv.org) by amichail | Sep 20, 2026 | 0 comments on HN