Micah Warren

Neste momento

github.com/micah541/par...

The Complete Mathematical Works of Theodore J. Kaczynski, formalized in Lean 4 (someone had to check his work) github.com/micah541/kac...

Every NFL fan is now collectively dumber for having watched football today

This was calculus joke fwiw

Oregon offside penalty was galaxy brain - did nobody catch that?

I'm for increasing acceleration Does that make me a jerk?

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

this timeline is wild

New Episode with Scott Armstrong. AI and math, Lean, Navier-Stokes open.spotify.com/episode/3ntx...

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

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.

Great post by Richard Bamler rbamler.github.io/math-vision/

Nobody ever said there's too many podcasts about math youtu.be/bV74Wt0XkWU

Anyone else getting this?

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

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

True story - I was one of the fireman Jesus was the other one

Want a lucrative career? Learn to math. maisi.org

cloak and dagger navier stokes cims.nyu.edu/~tristanb/st...

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.

Mineral oil sunscreen? That's right! also racism and eugenics.

"Listen I hate fascism as much as the next guy, but is it worth fighting it if we have to share the country with people fry their falafel in beef tallow? Ick. "

Peak Bluesky assclownery MAHA rank and file are genuinely good people who want good thing but have been sucked into conspiratorial vortex for whatever reason and would make wonderful allies against MAGA

not used to turning on the ducks opening game and recognizing QB from last year

my low effort Navier-Stokes tweet got 50k impressions on X ... crazy times

Quick chalk youtu.be/zWq8tv564ZM In which I discuss the recently offered counter example to the Caratheodory conjecture

I mean, yeah, sure, there is some deep anthropological thing going on when humans are communicating with other humans but also yesterday I had one AI agent communicate to another AI agent and information was communicated and acted upon

Do these Republicans senators just get absolutely obliterated by their grahdkids when they play Uno? Like all it took was three of you to say no to Ken Paxton and you have leverage.

That's perfect. You won the internet for me today

Complex structure on S6 guys

Surveillance pricing is good actually I pay $1.39 for beans. Other people pay $2 dollars for beans Why? Because I've signaled to them with my behavior that I don't pay more than $1.50 for beans!

It's not great that all the discourse is about the discourse

Still great legislation en.wikipedia.org/wiki/Oregon_...

arxiv.org/abs/2608.19068

Gromov volume growth and Caratheodory conjecture AI showing signs of being impactful in geometric analysis

Will did this tech.yahoo.com/social-media...

Really hard to tell how significant this stuff is. Was at a conference last week with many prominent names in geometric analysis and nobody in geometrical analysis has made any real progress with AI yet. Not for lack of trying.

Easier for senior people to just trust but still

NYT throwing shade at Bitcoin and so few appreciate it. Zero Kelvins.

I'm using Opus 4.8 Asked about a stability result for a nonlinear flow based on estimates I had written in another paper and estimate for a rescaled flow. Abstract and theorem were promising- dug into proofs -all based on linear methods.

The bitcoin wallet story is salient but sad, many real people hurt, but if you really want to go for "best practices are fake and gay" style Schadenfreude I would read up on Situational Awareness - unclear if real people were hurt or not