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

(arxiv.org)

1 points | by amichail 8 hours ago ago