Anna Gilbert's commentary on the upcoming First Proof, Part Deux round of AI math proofing evaluations.
🚨Maine Primary Forecast 🚨
Polls show the crowded Maine primaries are in a dead heat heading into June 9. But Maine uses ranked-choice voting, and these polls focus only on first choices.
Today, my collaborators and I released ranked-choice forecasts. 👇
dliu18.github.io/maine-2026-p...
I will be visiting Yale SOM for AY 2026/2027
The visit includes me teaching an interdisciplinary PhD methods course. If you often experience New Havenness, ask your Dr (advisor) whether "Methods Stumblers" may be right for you.
“@grok is this true” coming to Meta soon
A love letter to Deep Springs in today's NYT. Seems like a good time to mention: Stephanie and I are very excited to both be teaching short courses there next May-June ("Term 6", 2027).
This is a good point: if you will use a machine to write code you don't understand, why does it have to be Python?
medium.com/@NMitchem/if...
This is just to say,
I failed to replicate the work,
that was not very rigorous,
but was in Nature.
And which
you were probably
relying on
for grant applications
Forgive me,
the methods were inappropriate,
so vague
and so many assumptions.