Dinesh Thakur David Speyer
A beautiful polymath proposal by Dinesh Thakur was posted by Terry Tao on the this blog. The task was to explain some remarkable, numerically observed, identities involving the irreducible polynomials in the polynomial ring
over the finite field of characteristic two. David Speyer managed to prove Thakur’s observed identities! Here is the draft of the paper. Congratulations to Dinesh and David!