Catalan's constant is irrational (proof with the help of AI) | Dark Hacker News