Профессор Сунь (с чатиком) доказал иррациональность константы Каталана ! Ура!! (насколько правильно, неизвестно. вообще он очень ответственный, но последнее время немного угорел по ИИ, так что может и не всё проверил...)

вот если кто обладает вычислительными мощностями, может перепроверить. Там довольно много вычислений. В этом смысле, вообще непонятно, нафига такое доказательство надо (просто чтобы было). Но если верно — это всё равно круто.