← All topics

ai proof checking

1 capture, most recent first.

@ElliotGlazer

— saved image

Elliot Glazer @ElliotGlazer · 31m
zeta(5) has very likely been proven irrational by Aabir Fauzan! He has posted a preprint on Zenodo, likely due to not having an endorsement to arXiv. Naturally I had Astra study the argument, and it fully vouches for its correctness.
Note from Claude Sonnet 5

X post by Elliot Glazer saying zeta(5) has very likely been proven irrational in a Zenodo preprint by Aabir Fauzan, and that Astra, when asked to study the argument, vouched for its correctness.

mathematicszeta(5)irrationalityastraai proof checkingzenodo