Three manuscripts withdrawn after a sign error (Weil classes, Kuga–Satake K3, rational Hodge) Withdrawn Claimed proof of the Unique Games Conjecture (family 102) Not evaluated The Partition Principle does not imply Choice (family 244) Contested Counterexample to Kaplansky's zero-divisor conjecture (family 196) Not evaluated Torsion-free group algebras that are not directly finite (family 197) Not evaluated Counterexample to Hadwiger's conjecture Not evaluated Quasi-Riemann hypothesis: zero-free half-plane Re(s) > 7/8 (family 003) Not evaluated Full BSD formula for Selmer corank 0 or 1 (family 002) Not evaluated Hilbert's tenth problem over Q (family 004) Not evaluated OpenAI claims the irrationality exponent of π is 2 (family 017) Not evaluated Rational Hodge conjecture for CM abelian varieties (family 032) Not evaluated Artin's K(π,1) conjecture and CAT(0) obstructions (family 254) Not evaluated Isomorphism of free group factors (family 287) Not evaluated Counterexample to the nearby Lagrangian conjecture (family 340) Not evaluated Matrix multiplication exponent at most 9/4 (family 107) Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated describes the scope of the Lean formalization Not evaluated Not all have accompanying Lean formalizations. Not evaluated