Will Sawin

New York, NY, USA

http://williamsawin.com

I am an associate professor at Columbia University.

top accounts reputation activity subscriptions

A game on Noetherian rings

ac.commutative-algebra combinatorial-game-theory asked Apr 6, 2012 at 3:24

mathoverflow.net

58 votes

Grothendieck's Period Conjecture and the missing p-adic Hodge Theories

nt.number-theory tannakian-category p-adic-hodge-theory asked Mar 15, 2015 at 21:18

mathoverflow.net

57 votes

What is the geometry of an undecidable diophantine equation?

ag.algebraic-geometry nt.number-theory lo.logic diophantine-equations asked Dec 4, 2012 at 18:20

mathoverflow.net

30 votes

Enriques surfaces over $\mathbb Z$

ag.algebraic-geometry nt.number-theory algebraic-surfaces k3-surfaces asked Mar 27, 2015 at 22:19

mathoverflow.net

28 votes

A modern perspective on the relationship between Drinfeld modules and shtukas

ag.algebraic-geometry nt.number-theory finite-fields shimura-varieties asked Aug 24, 2017 at 16:54

mathoverflow.net

28 votes

How many polynomial Morse functions on the sphere?

gn.general-topology co.combinatorics polynomials asked Mar 29, 2013 at 21:18

mathoverflow.net

27 votes

Why do the adjoint representations of three exceptional groups have the same first eight moments?

co.combinatorics rt.representation-theory lie-groups lie-algebras integer-sequences asked Feb 20, 2016 at 15:10

mathoverflow.net

23 votes

Successes of machine learning in formal theorem proving

history automated-theorem-proving machine-learning asked Feb 10, 2022 at 21:25

proofassistants.stackexchange.com

23 votes

When (or why) is a six-functor formalism enough?

ag.algebraic-geometry ct.category-theory etale-cohomology sheaf-cohomology asked Mar 11 at 16:11

mathoverflow.net

22 votes

What do Hecke eigensheaves actually look like?

ag.algebraic-geometry nt.number-theory langlands-conjectures geometric-rep-theory geometric-langlands asked Apr 20, 2016 at 6:58

mathoverflow.net

Top Answers

128

5/8 bound in group theory

mathoverflow.net

106

"The Egg:" Bizarre behavior of the roots of a family of polynomials.

math.stackexchange.com

Fibonacci series captures Euler $e=2.718\dots$

mathoverflow.net

Why is differential Galois theory not widely used?

mathoverflow.net

What is precisely still missing in Connes' approach to RH?

mathoverflow.net

Czelakowski's claimed proof of the Twin Prime Conjecture

mathoverflow.net

Arithmetic Morse theory?

mathoverflow.net

Understanding a quip from Gian-Carlo Rota

mathoverflow.net

What is the difference between elementary and non-elementary proofs of the Prime Number Theorem?

mathoverflow.net

Why study Higher Sheaf Cohomology?

mathoverflow.net

How and when do I learn so much mathematics?

mathoverflow.net

Cases where the number field case and the function field (with positive characteristic) are different

mathoverflow.net

Modern results that are widely known, yet which at the time were ignored, not accepted or criticized

mathoverflow.net

Over which fields are symmetric matrices diagonalizable ?

mathoverflow.net

Smooth vs regular vs non-singular

mathoverflow.net

Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture

mathoverflow.net

Number of elements of "$\mathrm{SL}_n(\mathbb{F}_p^\times)$" mod $p$

mathoverflow.net

Theorems that are essentially impossible to guess by empirical observation

mathoverflow.net

Why is game theory formulated in terms of equilibrium instead of winning strategies?

mathoverflow.net

Forced conjugation of elements in finite groups

math.stackexchange.com

The "stubborn" solutions to sums of three cubes

mathoverflow.net

What are possible applications of deep learning to research mathematics?

mathoverflow.net

Does $\mathrm{SO}(3)$ act faithfully on a countable set?

mathoverflow.net

Pressure to defend the relevance of one's area of mathematics

mathoverflow.net

Theorems with many distinct proofs

mathoverflow.net

A surprising conjecture about twin primes

mathoverflow.net

How to rewrite $7-\sqrt 5$ in root form without a minus sign?

math.stackexchange.com

Are the p-adics a direct summand of the direct product of the groups $\mathbb{Z}/p^n\mathbb{Z}$?

mathoverflow.net

Gaussian Integer a+2bi as sum of 3 squares

mathoverflow.net

How do you check that your mathematical research topic is original?

mathoverflow.net