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

(arxiv.org)

1 points | by amichail 7 hours ago ago