Inlay

ProfilePosts

“@grok is this true” coming to Meta soon

Anna Gilbert's commentary on the upcoming First Proof, Part Deux round of AI math proofing evaluations.

1mo

annagilbert.substack.com

There will be a webinar at 1pm east coast time today to announce the results of First Proof Second Batch.

First Proof, Second Proof

Renee DiResta

Johan Ugander

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).

A post from @wtgowers.bsky.social on math research with reasoning LLMs (e.g., ChatGPT 5.5-Pro). Having similar experiences and agree with his reflections. gowers.wordpress.com/2026/05/08/a...

24d

1mo

Opinion | A Cattle Ranch Is Doing What the Ivy League Can’t

www.nytimes.com

We are all having to keep revising upwards our assessments of the mathematical capabilities of large language models. I have just made a fairly large revision as a result of ChatGPT 5.5 Pro, to whi…

Johan Ugander

A recent experience with ChatGPT 5.5 Pro

gowers.wordpress.com

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.

🚨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...

10d

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.