Welcome to our vibrant community!
saw this preprint: https://zenodo.org/records/22826419 Was pretty skeptical at first, but after a first pass I havent found an obvious issue. GPT also couldnt find a concrete...
This post is to let people know about a lecture series (and accompanying study group) on measure theory that will run on the (blue) math...
So as there has been a recent preprint by fauzan( if i am spelling it right) on the irrationality of zeta 5 uploaded to zenodo...
It seems like a somewhat amazing coincidence that proofs are ever discoverable. Formalized proofs that we have identified can be long, but compared to all...