Pavel @spavel.bsky.social · 09/09/2026Imagine if you just gave mathematicians 22 million dollarsTrevor A. Branch@trevorabranch.bsky.socialMillennium math problem solved by OpenAI may have "regurgitated" competitors unpublished work... also they spent more than $22 million in computing power in one week to scoop them. techcrunch.com/2026/09/08/o...techcrunch.comOpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunchThere is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.2:33 AM · Sep 9, 2026 141597359
conputer dipshit @davidcrespo.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialit sounds like at this point they would spend most of it on LLM inference 0230
Deb Chachra @debcha.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialNSF CAREER awards max out at $500k for five years so thatt pays for the research of forty-four promising mathematicians (incl training grad students ie more mathematicians) and also overhead to support their institutions). In a week. 1699
Keri @keriknutson.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialFunny how every ai math miracle turns out to be....not. 0210
Gabrielle @gabbklein.myatproto.social · 09/09/2026↪ Replying to @spavel.bsky.socialI'm so mad, all the time 081
Bi King Gent 👑 💖💜💙 @thesnarkygent.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialIt really feels so... perverse to watch billions of dollars get spent to not only *not* help people live meaningful lives, but to try to build a future where as many people as possible are *deprived* of opportunity (unless they can pay) 1628
unregistered goosecam 2 @goose.cam · 09/09/2026↪ Replying to @spavel.bsky.socialthey'd be able to tell you how much money 22 million dollars is 040
jess m. ☕🍂 @jametc.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialall the math guys angry now that the leopards have shown up at their door huh 0180
Phil @papermache.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialI'm bummed out there's no Nobel prize for sarcasm. 010
season of the bitch @m01r4.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialstart of a word problem 250
Alex (Tired) @alexsotired.bsky.social · 09/09/2026↪ Replying to @spavel.bsky.socialThey stopped offering money after Grigori Perelman 000
👻 David Weiskopf believes in spooks 👻 @dave.bzky.team · 09/09/2026↪ Replying to @spavel.bsky.socialI don't have that kind of money. Stop asking. 030
Steve, solarpunk accelerationist @baer.systems · 09/09/2026↪ Replying to @spavel.bsky.social…and we still wouldn’t have it. 001
Pavel @spavel.bsky.social · 09/09/2026Unbelievable that THIS is the post I'm forced to limit replies on. Behave yourselves! 01251
jacobian term @evpok.love · 09/09/2026↪ Replying to @spavel.bsky.social🤝🏻jacobian term@evpok.love"oh but what an achievement!" to be clear, with that kind of money (not including infra and training costs either) i can fund at least a 10 people research team for 5 years 000