Catalan's constant is irrational (proof with the help of AI)arxiv.org2 points·amichail··0 commentsOpen articleSaveView on HN