Liars all the way down

A new paper with Bogdan Georgiev, Javier Gomez-Serrano, and Adam Zsolt Wagner: "Mathematical exploration and discovery at scale" arxiv.org/abs/2511.02864. Further discussion is at terrytao.wordpress.com/2025/11/05/m...

www.technologyreview.com/2025/10/30/1... Um…you can prove it’s not true, and more generally that AGI via learning is impossible. @irisvanrooij.bsky.social did.

I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3

Instead of trying to prove it, I asked GPT5 about it, and in about 20 seconds received a proof. The proof relied on a lemma that I had not heard of (the statement was a bit outside my main areas), so although I am confident I'd have got there in the end, 2/3

the time it would have taken me would probably have been of order of magnitude an hour (an estimate that comes with quite wide error bars). So it looks as though we have entered the brief but enjoyable era where our research is greatly sped up by AI but AI still needs us. 3/3

Gift link for first five clicks

>>>>ASU beating a top 10 team

#NoKings #NoKingsAlexandria

w00t #ForksUp #ASU #SunDevils #SunDevilFootball

#NoKings #NoKingsAlexandria My mom and oldest boy crushing it

Competitor enters a major AI competition (RNA folding) GPU poor so can't train an AI Builds a "classic" eng pipeline instead. (90s tech) Wins and beat everyone using DL 💀 Their winning "hybrid" model had an AI in it. Their original one did not and had a higher score So they won despite the AI 😂

Zermelo-Frankel is inconsistent

Scientists who might bend a knee take note: this guy is a lab head at NIH. Hang together not separately

This afternoon. Montréal. If you can’t make it here in time then read the paper in the thread

'When authoritarians seize power, it is crucial to recognize courageous defenders of freedom who rise and resist,' the Norwegian Nobel Committee said. I doubt that was directed JUST at Maria Corina .

If you’re at COLM on Friday I can rant at you

The year is 2025. The top Big Ten teams are OSU, Oregon, and Indiana. The top SEC teams are Ole Miss, Texas A&M, and Oklahoma. The top Big XII teams are Texas Tech, BYU and ASU. And then there’s all that other fucked up weird shit.

The South Korean Ministry of Defense has awarded medals of merit to 11 officers for disobeying direct orders of superiors during the martial law fiasco, orders that they deemed to be contrary to the constitution and endangerment to democracy. www.chosun.com/english/nati...

So uh between the USG’s own equations and GPS jamming being an actual thing in the Strait of Hormuz let alone near nuclear sites and the ample warning I don’t understand why the presumption was ever that Irans nuke program was or would be or even was likely to be obliterated vs merely inconvenienced

We ought to judge this strike by its real purpose, not the legal camouflage of preemptive self-defense. If the strike leaves the current regime, or something very much like it, in power with a nuclear option then it will have been a strategic failure. 17/17

“.. Trump claimed that Tehran’s nuclear capabilities were ‘totally obliterated.’” @washingtonpost.com www.washingtonpost.com/national-sec...

arxiv.org/abs/2509.18523 New preprint just dropped, accepted to Workshop on Data Mining and AI for Law in DC in Nov: Automatic coherence-driven inference on arguments 1/

Autism as a stand-alone diagnosis predates acetaminophen by 44 years. If they can't even bother to do basic math, they can't be trusted to do the more complex science.

I remember slogging my way through Gibbon’s _Decline and Fall of the Roman Empire_ and noping out, thinking the “loss of civic virtue” thesis was lazy bullshit and it must have been economics It was a long time ago

"Humanity is now obsolete. To quote the fifty-third president of the United States, Abraham Lincoln: 'Your scientists were so preoccupied with whether or not they could, they didn't stop to think if they should.'"

Never surrender

Jake Sullivan telling Garry Kasparov that “Javelins and Stingers were what helped the incredible and brave Ukrainian defenders save Kyiv” really shows Sullivan’s idiocy and bankruptcy. Too bad most folks won’t understand it was really 100 batteries of S-300s and 24/7 artillery.

Sneak preview of NATO Article 4 consultations

Exciting research

A Russia-friendly US president presents Putin with his best chance to achieve his key strategic objective - destroy NATO. It's never been likely that Trump administration decision-makers would try to formally leave NATO, but disengagement was predicted, and is happening. apnews.com/article/pent...

It probably is incompetence, but we should sink a Russian frigate anyway to send a message.

Exclusive: RFK Jr. and the White House buried a major study on alcohol and cancer. Here’s what it shows. www.vox.com/health/46008...

New Apple #ML Research Highlight: The "Super Weight:" How Even a Single Parameter can Determine an #LLM's Behavior machinelearning.apple.com/research/the...

Looking forward to flamingos being set loose

Ukraine needs to name its military bases after Vladimir Putin and his generals. by Pete Hegseth

Time for some hopscotch civil disobedience. Dance D.C.! Dare the fascists and have fun while you do it 💃🕺

Mids holding that end zone down in more ways than one rn

Bluesky telling me that I’m a bullshitter

It is not just that these employees are risking being put on leave or even fired for standing up for science (see EPA/FEMA officials), they are standing in front of a workplace that was the subject of a terrorist attack a couple of weeks ago, by a man who believes what their boss believes.

OK but what about mitochondrial challenges because I’m told that is related to inflammation in kids

Real things about the Russo-Ukrainian War that sound insane to anyone who doesn't follow it: -The Sudanese front -Ukrainian naval dominance West of Crimea -The Ukrainian strategic bombing campaign from Murmansk to Astrakhan -Ukrainian special operations in Siberia

Apropos of nothing, a reminder that German stock markets kept climbing in an almost uninterrupted fashion in the run-up to WW2. Investors are really, really bad at pricing serious institutional and political risks.

Newsletter: My 16,000 word opus - How To Argue With An AI Booster, a comprehensive guide to arguing with AI boosters, addressing both their bad faith debate style and their specific (and flimsy) arguments as to why generative AI is the future. www.wheresyoured.at/how-to-argue...

Lafayette Park today without even a single submarine sandwich for protection to show support for Ukrainian bravery Still when we realized how reckless we had been with the streets deserted and all the reports of gangs of masked lawless thugs all over NW DC, we immediately went to Potbelly

Stagflation in some form is coming. The trillion-dollar question is whether inflation becomes entrenched paulkrugman.substack.com/p/the-econom...