News & Musings
News & Musings
Herein below you can read/ access my latest posts from the BlueSky and Twitter (X) platforms (the custom Twitter (X) feed updates with a substantial lag and sometimes chaotically). You are obviously better off reading/ following me directly on Twitter (X) and/or on BlueSky and/or on Mastodon and/or on Threads for full functionality. (NB. The latter three platform feeds, unlike Twitter (X), are readable also if not logged in on the corresponding platform.)
25 years ago, I graduated from UCU @UniUtrecht and joined @CoenTeulings as MPhil/ PhD @ResearchTI. Back for Coen's farewell last week, I was honored to close the dinner speeches. An undocumented return to doctoral training: eventually, your supervisor lets you have the last word!
90' flight delay to Schiphol, transit strike, prebooked Uber (Black!) serving other customers... But it doesn't matter, somehow made it to this Tinbergen Institute-mini reunion in Amsterdam. Guess I like these folks more than I hate NL transport! That’s one hell of a lower bound.
This morning, mathematicians at OpenAI announced that a group of 10,000 autonomous AI agents under their direction proved that the Navier-Stokes equations can “blow up,” thus solving one of the six remaining Millennium Prize Problems. But this massive result is not without
The news today of progress on resolving the Navier–Stokes problem, one of mathematics’ great longstanding challenges concerning the equations that govern the flow of fluids, represents a milestone advance in human knowledge. This story began with Navier, Stokes, Leray, and
The True Size of Chile 🇨🇱
Lorsqu’il y a un krach boursier, vous perdez environ un quart de votre investissement en actions.
C’est le même ordre de grandeur qu’à chaque fois que vous cotisez aux régimes complémentaires Agirc-Arrco. Pour chaque euro ouvrant un droit, vous payez 27 centimes en pure perte.
@AnthropicAI has shared the first end-to-end, computer-checked proof of Fermat's Last Theorem: 13 million lines of Lean, 29,500 intermediate theorems. Their announcement calls it "the largest Lean proof ever constructed."
See also Kevin Buzzard's blog post about the proof:
When Jeff Bezos's Amazon stock doubles, should his tax bill? No, say Mark Aguiar, @ben_moll and @Florian_Scheuer: optimal taxes target realized net trades plus cash flows—not wealth or unrealized gains—while avoiding lock-in, whatever moves asset prices.
https://www.econometricsociety.org/publications/econometrica/forthcoming-papers/0000/00/00/Putting-the-Finance-into-Public-Finance-A-Theory-of-Capital-Gains-Taxation/file/24013-3.pdf
A big day for AI and mathematics!
Along with everything else, @EpochAIResearch have just announced a new benchmark for AI capabilities in maths: FrontierMath Erdős.
I helped by selecting some problems. A thread.
1/
Announcing FrontierMath Erdős
A benchmark of 68 significant Erdős problems, open as of August 2026, curated by Thomas Bloom and formalized in ...
epoch.ai
