Has the abc conjuncture been proved by Shinichi Mochizuki?
8349
What is the status of the purported proof of the ABC conjecture?
98320
True or false? $\bigwedge_{i \in I} \bigvee_{j \in J}a_{i,j} \equiv \bigvee_{j \in J} \bigwedge_{i \in I}a_{i,j}$
127378
Is $2^\alpha=2^\beta\Rightarrow \alpha=\beta$ a $\sf ZFC$-independence result?
140798
Is there absolute proof for gravitational waves?
105233
Is there a counterexample for the claim: if $A \oplus B\cong A\oplus C$ then $B\cong C$?
127198
What is $\mathbb{C}^{Aut(\mathbb{C}/\mathbb{Q})}$?
37840
Does the Levi-Civita connection determine the metric?
56143
Proof of a basic $AC_\omega$ equivalence
120130
Baker-Hausdorff Lemma from Sakurai's book
23414
Topologist's Sine Curve: A rigorous proof of why $\overline{S} = S \cup V$
43598
Do $\omega^\omega=2^{\aleph_0}=\aleph_1$?
53899
Proof of the Sherman-Morrison Formula
75504
Theorem 11.14, Apostol, pg 238 - need explanation
122410
Can one build a homology theory using submanifolds and their boundaries?
67514
Formal Proof that area of a rectangle is $ab$
113708
Correspondence between Ext group and extensions (from Weibel's book)
149822
If $\omega \in \Omega^q(M)$, and $(\omega|_{U})_p = 0$, is $\omega_p = 0$?