Would've liked to see Ross D push harder on what the hell it means for China to "win" but other than that, it was classic just letting Trump present as a moron 
I hereby submit that we should call this phenomenon "Natalia derangement syndrome".
Yesterday @micah541.bsky.social gave a wonderful talk at Courant’s Convexity Seminar explaining the recent counterexample to the Caratheodory conjecture found in an LLM output by Levent Alpöge and John Paul Smith
The Complete Mathematical Works of Theodore J. Kaczynski, formalized in Lean 4 (someone had to check his work) github.com/micah541/kac...
GitHub - micah541/kaczynski-mathematical-works
Contribute to micah541/kaczynski-mathematical-works development by creating an account on GitHub.
github.com
Every NFL fan is now collectively dumber for having watched football today
Oregon offside penalty was galaxy brain - did nobody catch that?
I'm for increasing acceleration Does that make me a jerk?
Matt Novak@paleofuture.bsky.social · last mo.I keep trying to think of any historical example where a given technology's PROMOTERS AND TRUE BELIEVERS were like 'we are absolutely going to ruin your fucking life so be prepared like it's the end of the world'
I told my wife, who works in the mental health profession, that there's all these people who believe AI models can feel pain. She immediately responded with "are these people who struggle to identify their own emotions?" I think she hit it with one shot
New Episode with Scott Armstrong. AI and math, Lean, Navier-Stokes open.spotify.com/episode/3ntx...
Diverging Limits Episode 2: Scott Armstrong
Diverging Limits · Episode
open.spotify.com
Interesting, good? Good for people who teach calculus courses Good to see someone white-knighting for university of Oregon It will be interesting to see optics if they end up laying off tenured faculty while building $700 million a new building app.lookouteugene-springfield.com/story/310099...
Knights give UO $1 billion to create engineering college
The University of Oregon is getting a $1 billion donation from Phil and Penny Knight to create the Knight College of Engineering, according to an early-morning press release from the university.The do...
app.lookouteugene-springfield.com
Great piece- I'm all for taking community ownership of the products of LLMs. The training data didn't fall out of a coconut tree.
nestor guillen@birdsnfrogs.bsky.social · 2mo agoLast week I posted my essay on LLMs, cultural technologies, and mathematics. It is my earnest attempt at convincing mathematicians that should be optimistic, even prideful, at this critical moment: birdsnfrogs.github.io/2026/09/12/F... 1/
Nobody ever said there's too many podcasts about math youtu.be/bV74Wt0XkWU
Diverging Limits Episode 1: Matthew Ballard on Lean Formalization and AI in Mathematics
YouTube video by Diverging Limits
youtu.be
Some days I think that Bluesky has lost its mind. And some days everybody on Twitter is explaining how they know more about Math than 25 Fields Medalists .
Took NYT a minute but here we are An N.Y.U. Mathematician Clashed With OpenAI Over a $1 Million Proof www.nytimes.com/2026/09/10/s...
The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem
Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.
nytimes.com
I think if you start by taking OpenAI 100% at their word, the phrase "inspired by these rumors" still announces "we did something fairly slimy by trying to scoop priority." Maybe it doesn't read as slimy in the social world they inhabit, but it would in mine.
OpenAI resolution of Navier-Stokes t.co/hAU1jj6LDe
https://drive.google.com/file/d/10Ebaa__Aa_g4E7NEDnLNTBRkFC2EombH
t.co
True story - I was one of the fireman Jesus was the other one
Aaron Rupar@atrupar.com · 2mo agoTrump claims he was basically lifted out of the rubble on 9/11: "Two fireman, big strong guys, they grabbed me under the arms -- 'got to get our of here!' -- and they literally lifted me up, and they started running with me."
Want a lucrative career? Learn to math. maisi.org
Mathematical AI Safety Institute
A mathematical research institute for AI safety.
maisi.org
I don't much about AGI but I do know that if it gets here it certainly won't need Jensen Huang's Twitter to tell us it's arrived.
Some of the influencers here on Bluesky just as bad as crypto grifters - just captured by a different audience