J'ai vu “Le Théorème de Marguerite”, et j'ai rarement été aussi partagé sur un film. Je n'ai pas (mais alors vraiment pas du tout) aimé les premières ~25min, et j'ai bien aimé en gros toute la suite. •1/16 imdb.com/title/tt266995…

Today, we at OpenAI achieved a milestone that many considered years away: gold medal-level performance on the 2025 IMO with a general reasoning LLM—under the same time limits as humans, without tools. As remarkable as that sounds, it’s even more significant than the headline 🧵

Not falling for OpenAI’s hype-vague posting about the new IMO gold model with “general purpose RL” and whatever else “breakthrough.” Google also got IMO gold (harder than mastering AIME), but remember, simple ideas scale best.

Hot take on OpenAI’s IMO gold What does it mean? I don’t know (yet). The fact that no tools, coding or internet was used is genuinely impressive. That said, my overall impression is that OpenAI has told us the result, but not how it was achieved. That leaves me with many

"solved programming" is obviously "for a little coding project". #fatigue

I study the history of software because most people think code innovation happens in a vacuum. They see React and think Facebook just invented components. They miss the decades of work on MVC patterns, the failed attempts at web components, the slow evolution from server-side

Btw as an aside, we didn’t announce on Friday because we respected the IMO Board's original request that all AI labs share their results only after the official results had been verified by independent experts & the students had rightly received the acclamation they deserved

This tweet is for you OpenAI

the openai IMO news hit me pretty heavy this weekend i'm still in the acute phase of the impact, i think i consider myself a professional mathematician (a characterization some actual professional mathematicians might take issue with, but my party my rules) and i don't think i

🇫🇷 #TDF2025, Stage 16 ⛰️🏁 ⏱️ MONT VENTOUX (last 15.60 km, 8.69 %, 1356 m) 44:48 | Pogacar 44:50 | Vingegaard Acc. to prov. timing, 2 fastest climbing times in the history of Ventoux (starting from St. Esteve). Pogacar VAM 1816 m/h, Vingegaard VAM 1815 m/h.

The updated Top 50 ascents of Mont Ventoux is now available at this link, we had 17 new entries today! 😱 I also wrote a small article about today's stage including my Jonas coping and why I was happy that the breakaway won. Enjoy! #TDF2025 cyclingflash.com/news/pogacar-t…

Our new state-of-the-art AI model Aeneas transforms how historians connect the past. 📜 Ancient inscriptions often lack context – it's like solving a puzzle with 90% of the pieces lost to time. It helps researchers interpret and situate inscriptions in their past context. 🧵

⏱️🚨Lenny Martinez and Thymen Arensman set a NEW CLIMBING RECORD on Col de Glandon: 51 min 10 sec. They were faster than Contador in 2017. The Festina team attack was 1:30 slower in 1997. #TDF2025

i still can't believe this is your virtual girlfriend

The Tea app has been hacked, and you can go download 59.3 gigabytes of user selfies right now. The hack is real. A picture from someone I know who signed up just to see what was on there was in it. This was an obviously vibe-coded app and was bound to be insecure.

Guestprof weakmath (@[email protected]) Unfortunately the worship of "peer"-review has led science to a pitiful state. One can argue that it is today doing more bad than good. It is a shame that the original motivation of peer-review has already been forgotten by most and has become a meaningless ritual.

Here is a powerful article about the severe limitations of LLMs, with examples showing their inability to play chess or give sensible answers to simple questions.

If Europeans were paying attention (or being told the truth), they should be beyond appalled by this "deal": bbc.com/news/articles/… It's nothing more than one of the most expensive imperial tributes in history. Just a massive one-way transfer of wealth with no reciprocal

LIVE-TWEET COURCHEVEL 1997 : l'étape du siècle ? ( le prime des chaudières )

I presented "Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research" at ACM REP conf 2025. Blog post with links to preprint, slides, and raw transcript: blog.mathieuacher.com/TeachingReprod… blog.mathieuacher.com/TeachingReprod… blog.mathieuacher.com/TeachingReprod…