Top Network Posts
- 77 Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
- 8 PhD dissertations that solve an established open problem
- 7 Are there logical systems where formal proofs are not computer verifiable?
- 7 What are some noteworthy "mic-drop" moments in math?
- View more network posts →