New York, New York USA
- Tweets 122
- Following 36
- Followers 580
- Likes 103
Deane Yang retweeted
Happy, those able to know the causes of things.Really insightful post by Nestor on how to frame the current progress in mathematics by LLMs and by AI companies.
birdsnfrogs.github.io/2026/0…
3
10
1,297
In OpenAI vs. Anthropic, an N.Y.U. Mathematician Comes Out Bruised nytimes.com/2026/09/10/scien… via @NYTimes
8
35
4,653
Worth noting: Tristan and Levent’s spectacular work used only commercially available models. No internal models were used. It was all funded by Tristan’s grant money.
17
39
995
52,960
Deane Yang retweeted
“we cannot rule out that de-identified data derived from their usage of our products helped improve our models.”
i mean props to them for straight coming clean.
(so far the proof looks more along the lines of another euler blowup proof we had, off of whose ansatz naming we were making really stupid puns like “smooth criminale”, unlike the much better “ideal fluids explode”, Tristan)
so i’ll now give a bit on my thinking here. i actually woulda been pumped to collaborate on this, there are a lot of people at oai i like (ok, clearly some were indirectly dicks to me because of being part of the whole situation, but im a big boy, i still like them), idgaf about authorship on that step anyway, coulda been me Tristan and every fte at oai for all i care (on that Tristan would disagree:p). but on hearing the loud convo in the hallway, especially the part where a millennium prize was offered if i’d just be removed from the paper, it was kinda clear the die had been cast and things were locked. pretty wacky, unstrategic, and unnecessary, since on my side things were mostly me and claude having a good time yoloing random stuff in the corner rather than anything institutional. i also like the idea of the labs cooperating, and even better on scientific progress. it’s a shame!
We congratulate Levent Alpöge and Tristan Buckmaster on their remarkable mathematical work.
We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem.
While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models.
However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs. unforced).
249
1,080
12,231
1,722,026
Terry Tao writes about Tristan and Levent's construction of blow-up solutions to fluid flow equations mathstodon.xyz/@tao/11723352…
2
30
155
32,736
In case you haven't seen this before. Vladimir Voevodsky (Fields Medalist) on why he started to verify all of this proofs using Coq. math.ias.edu/vladimir/sites/…
6
49
9,201
The focus has been on AI answering questions posed by humans. But can AI itself pose new questions that are perhaps based on known math but push math into new directions. Anyone have any luck with this yet?
2
774
I think it might be possible for AI to find a counterexample for this question: mathoverflow.net/questions/5…. Seems like it's just group theory.
1
690
Alice Lauren Lee's next film is Artemis and the Astronaut. Help support her production. fiscal.ifp.org/project.cfm/7… via @ArtemisFilm
Deane Yang retweeted
We won honorable mention award for Cinematography at the DisOrient @CAnthonyAssoc @thegoodboyfilm @TheArtOfBklyn http://t.co/WybZeziwJq
1
2
#thegoodboy Lauren and Sara at DisOrient Film Festival
Nick and Stephen on Metro to screening of the good boy instagram.com/p/1oVbHRhu0V/