Top network posts
- 83 Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
- 19 PhD dissertations that solve an established open problem
- 17 Is there a complex structure on the 6-sphere?
- 16 Reverse mathematics of Cousin's lemma
- 14 What are some noteworthy "mic-drop" moments in math?
- 8 Publishing solution but temporarily holding back solution method
- 8 Are there logical systems where formal proofs are not computer verifiable?
- View more network posts →