Professor relaxing. "I'm liberal, with a touch of reform, and a smidgen of zippety-pow!" (from Gilmore Girls)
Joined March 2010
- Tweets17K
- Following1K
- Followers261
- Likes5.7K
OnlyInterject retweeted
Thanks @TedLasso for this unexpected role and Beard’s ex-girlfriend for seeing something in me that Beard clearly doesn’t. Much of my career I’ve made difficult men seem like people you might willingly have dinner with. Apparently there’s still demand. @brendanhunting
OnlyInterject retweeted
'Ted Lasso' Theme Song Switch: Why Brandi Carlile Took Over for Marcus Mumford in Season 4 Finale — and Is It a Permanent Change? variety.com/2026/tv/news/ted…
OnlyInterject retweeted
We have a CHONKION!
The #FatBearWeek crown goes to:
🐻 Bear 89 Backpack 👑
Heavy is the bear that wears the crown. Like really heavy.
ALT Large brown bear seen in side profile looking like a giant lightbulb in the water.
OnlyInterject retweeted
Some melodies aren’t just meant to be heard, they can be experienced visually, too. Pachelbel’s “Canon in D” offers a captivating blend of music and visual beauty.
OnlyInterject retweeted
This is genuinely the funniest possible outcome 3 years after the fact. Kinda like even the universe is saying wtf was that ending
OnlyInterject retweeted
I want cd players in cars to be a thing again. I want to pull out a cd, load it, and listen to the entire album from start to finish without paying some streaming company to listen to a band. Yes, I said it..bring it back. I have gotta look in to doing this for my car.
OnlyInterject retweeted
taylor swift changing random letters to communicate with us again it feels like the good old days
OnlyInterject retweeted
Terence Tao just posted this really insightful thread which seems to have been written in reaction to the Navier Stokes announcement. Please give it a read. mathstodon.xyz/@tao/11723732…
OnlyInterject retweeted
the whole timeline, from the equations to today:
1822: navier writes the equations down.
1845: stokes gets them right, and his name on them.
1934: leray shows weak solutions exist forever, and leaves smoothness open.
2000: clay puts $1m on that gap. fefferman writes the official statement, four options.
2014: luo and hou watch 3d euler blow up in numerics.
2016: tao proves blowup for an averaged navier-stokes.
2021: elgindi proves euler blowup for rough data.
2023 to 2026: córdoba and martínez-zoroa build forced blowups, with a rough force.
then this year:
aug 15: buckmaster and alpöge get smooth-forced blowup for boussinesq and euler, with claude and codex.
aug 22: lean checks it.
aug 28: per wired, openai starts training its math model.
sep 1: per axios, openai's run starts, after researchers hear rumors.
sep 3: buckmaster emails openai to say what they have.
sep 6, sunday: bubeck says openai had the final solution that morning. buckmaster says he was told on the afternoon call.
sep 8, 4am: buckmaster and alpöge post three papers and the lean repo. buckmaster posts his statement.
sep 8, 17:20 utc: openai posts "we're sharing a solution to the navier-stokes millennium prize problem."
xitter.cf/i/status/2097374640582…
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
OnlyInterject retweeted
I...worked on this proof for a year...and...they just…tweeted it out.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
