My son asked me what infinity plus ten equals. I’ve been training for this moment my whole life.

I love this theorem. And I hope many people work to improve AI’s proof of it. The Book Proof is still out there! :-)

We created gyms because modern day work no longer required physical activity. Without exercise, our muscles atrophy. I predict we’ll need gyms for our brains too, once AI starts doing our knowledge work.

What’s something you keep seeing in movies that absolutely nobody does in real life and it annoys you every single time?

We’re working with an independent advisory group of mathematicians to help OpenAI responsibly share advances in AI and mathematics. The group will advise on how we assess and communicate new mathematical results, uphold academic and professional standards, and build tools that support mathematical research and learning. Through this work, we want mathematicians to be at the center of shaping how AI supports mathematical understanding and how its benefits reach the wider community. openai.com/index/advisory-gr…

The Bernoullis were more than a family of mathematicians; they formed a remarkable mathematical dynasty. Across several generations, Jacob, Johann, Daniel, and others made important contributions to mathematics and mathematical physics during the 17th and 18th centuries, alongside figures such as Newton, Leibniz, and Euler. Their story also includes one of the most famous rivalries in mathematical history. Jacob and Johann initially collaborated in studying Leibniz’s calculus, but their relationship gradually deteriorated into a bitter and very public competition, with the brothers challenging and criticizing each other over mathematical problems and priority. Whether this rivalry actually fueled their achievements is difficult to establish. What is clear is that their intense competition existed alongside work of lasting importance, and their family became one of the most influential mathematical lineages in early modern Europe.

HOLY MOTHER OF MATHEMATICS!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Google is working on a math-focused variant of its DeepThink model, and its raw thoughts are pretty funny.