4 ms·
This is a 5 paper long argument aimed at other mathematicians. It's a formal proof in the sense that it's standard math talk, but not a formally verifiable pro
by auntienomen 2y ago
This is a 5 paper long argument aimed at other mathematicians. It's a formal proof in the sense that it's standard math talk, but not a formally verifiable proof that could be, e.g., machine checked.
- p1esk 2y agoIt’s aimed at maybe a few hundred people in the world who can understand it. Maybe even few dozen.