Catalan's constant is irrational, with a proof aided by AI.
Read the original at arxiv.org→Original headline: "Catalan's constant is irrational (proof with the help of AI)"
Coverage timeline
- Sep 20, 15:32 UTC Hacker News (AI) lead source Catalan's constant is irrational (proof with the help of AI)