BREAKING: Donald Trump announces he intends to change the name of The Chinese Remainder Theorem to The USA Remainder Theorem

Mathematics

Gobsmacking stuff. Vance has the nerve to lecture us Europeans on democracy (criticizing among others Romania which cancelled its election after obvious Russian interference) The same Vance whose boss didn't accept the result of a democratic election and incited people to riot

Would have been an unthinkable FT column a month ago.

Good morning!

Good weekend

Imagine having started the EV revolution, sent rockets to space much cheaper, and when things are summed up, you still managed to have a negative impact on the world.

Joachim Favre is an *amazing* undergrad at EPFL Computer and Communication Sciences that has taken notes for all courses he took as a Bachelor student in CS and he continues to do so as a Master student in Quantum. I'd expect the notes to be often better than those of the profs ;) github.com/JoachimFavre/U…

We’re thrilled to welcome Yihui Quek to EPFL as a Tenure Track Assistant Professor in Computer Science & Communication Systems! Her pioneering work in quantum information science will shape the future of theory and computation. 🚀 #EPFL #ICEPFL #QuantumScience #Innovation #AI

Day 1135 of my 3 day war. I helped Trump so he would destroy US economy. Forgot that it would tank the oil price and destroy Russian one too. I remain a master strategist

It failed to solve this puzzle that I encountered today. I tried several times. (It took myself embarrassingly long time ;))

Germans aren't the best engineers you say?

Rejoins le Cours Turing à l’EPFL - les pré-inscriptions sont ouvertes ! Dès le 30 août 2025, tous les samedis matin pour les gymnasien·ne. 🔗  theory.epfl.ch/CoursTuring Merci à Bernoulli Center for Fundamental Studies la Fondation Inspir Ernst Goehner Stiftung pour leur soutien 🤝🏾

🎉 Congratulations to Anastasia Ailamaki, Mathias Payer, Lenka Zdeborová & Pascal Fua for receiving Advanced Grants for research in data systems, security, neural networks & computer-assisted engineering, a record 4 awards for EPFL’s IC School! 🏆

One piece of info that seems important to me in terms of forecasting usefulness of new AI models for mathematics: did the gold-medal-winning models, which did not solve IMO problem 6, submit incorrect answers for it? 🧵

Thanks! Of course, when I wrote this blog comment I had also realised that there was a winning move based on this heretical belief: start an AGI company long before most people realise it's coming. Hence, Google DeepMind

One of the best

The Swiss Winter School in TCS 2026 will take place January 25-30, featuring amazing speakers Ankur Moitra (MIT), Avishay Tal (UC Berkeley), and Vera Traub (ETHZ). Application deadline: October 24 More information: theory.epfl.ch/WinterSchool20…

🌟 We’re hiring! EPFL’s School of Computer & Communication Sciences (IC) is recruiting tenure-track faculty in Learning Sciences & EdTech — AI, AR/VR, learning analytics & more. Apply now! Eval. begins Nov 1, 2025 👉 epfl.ch/about/working/…