We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math

Yann LeCun: We’re not going to reach human-level intelligence or AGI simply by scaling LLMs. “There’s absolutely no way in hell.” “The idea that we’re going to have a data center full of geniuses is complete BS.” “It might feel like you have a PhD sitting right beside you.” “But that’s not what it is.” “It’s a system with enormous memory and retrieval capabilities not a system that can genuinely come up with solutions to problems it has never seen before.”

About a year ago, Talagrand’s convolution conjecture was announced with a 40+ page proof, and later simplified by Shaposhnikov, with the help of AI, to 7 pages: arxiv.org/abs/2609.11290 Since then AI has improved so much that, after playing with it a little, it rewrote the full proof in 1.5 pages and in my style (I told AI what tools I’m familiar with and asked it to stay within those limits and kept just asking "simplify proof"). As long as a valid proof exists, AI seems increasingly able to simplify it (or even find a simpler alternative proof) and rewrite it much shorter and more cleanly in your style. So I think I agree with @ChrSzegedy that human “desloping” may be a temporary issue and eventually won’t really be needed: xitter.cf/ChrSzegedy/status/2103… Looks like we are converging back to Perelman’s statement: if the proof is correct, no other recognition is needed.

Powfi is now LIVE! 💥 The first two foundational layers of $ALPH DeFi are now available: ▪️ Concentrated liquidity ▪️ ALPH liquid staking That also means: ▪️ ALPH x USDT liquidity can now be provided through the CLMM. ▪️ ALPH can now be staked for xALPH. ▪️ Other markets can also be added to the CLMM. More details below 🧵

🚨 Powfi will launch on Tuesday! This platform introduces two foundational layers to $ALPH DeFi: ▪️ A CLMM DEX ▪️ A liquid staking layer for ALPH Together, they create new primitives for liquidity, staking, and capital efficiency on Alephium. More below 🧵👇

24 Fields Medal winners have written a letter of objection economist.com/science-and-te…

AGI is here

Increasingly evident that for intelligence-bound tasks like research, the model is far, far more important than the harness/skill/prompt

Wow, Navier-Stokes drama This statement is worth reading in full from Tristan Buckmaster discussing his work with @__alpoge__ and OpenAI’s upcoming Condition C/D result (!) Crazy cims.nyu.edu/~tristanb/state… mastodon.social/@tristanbuck…

I did not expect this. Anthropic just published a Lean proof of Fermat's Last Theorem. The proof is +13M LoC, more than 5 times the size of Mathlib. Kevin Buzzard's post: xenaproject.wordpress.com/20… The proof: github.com/anthropics/fermat… Anthropic's post: anthropic.com/research/forma…

Linus Torvalds says tracking down a bug in Linux's Intel GFX Driver was a "debug session from hell." The AI helping him repeatedly called it "impossible and unsolvable" and suggested they just write a report instead. He kept pushing. 24 debug patches and 18 kernel boots later he found the bug: one round_up() that should have been round_down(). He then let the AI write the commit message. git.kernel.org/pub/scm/linux…

Richard Feynman said that one of the joys of working with all the really smart people on the Manhattan Project was: “You never had to explain anything twice. Everyone was paying attention. Everyone understood the first time you said it.”

Bitcoiners deserve a lot of credit for pioneering many of these ideas (see Utreexo). But yes, this is what the current proposed Ethereum scaling strategy looks like in action. We want Ethereum to have the best of UTXO-style state, dynamic state, and everything in between, allowing the great majority of Ethereum's activity to be hyperscaled without sacrifice to decentralization, ease of node running and censorship resistance. firefly.social/post/x/208898…

Celebrating small wins is hardwired into "Achieve," our goal-tracking sample app. We wanted the simple act of checking off a task to feel like a celebration. Instead of the standard #Material ripple, we used Styles to drop in a custom, high-contrast completion animation—specifically, a brand-colored ring that expands and fades on tap, paired with a subtle pressed-state gradient. It lets us focus entirely on polishing those custom, rewarding micro-interactions while Material handles the foundation. #GoogleDesign #MaterialDesign #JetpackCompose #AndroidDev #UXDesign #InteractionDesign

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…

Cool! So turns out @__alpoge__ counter-example to the Jacobian Conjecture can be used to show that inverting Keller maps is at least NP hard SAT <= finding inverse for Keller maps GPT 5.6 Sol doing all the hard work here 😅 github.com/Lev-Stambler/alg-…

Rewriting Bun in Rust bun.com/blog/bun-in-rust