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

1 points | by amichail 7 hours ago