As readers of this blog have no doubt noticed, I have recently turned over the majority of content on this blog to guest posts from other authors, either within the mathematics community or adjacent to it. In this post I record some content coming from my own talks and interviews in this time period. "The [...]
As announced a few weeks ago, the SAIR Open Math OS is now soft launched. It offers services and web interfaces similar to frontier AI models, though currently we are hosting existing open math models (DeepSeek V4.1 Flash, Kimi K3, and GLM 5.3 Flash) which are roughly a year or so behind the current frontier [...]
Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz have written a blog post over on Kevin Buzzard's blog entitled "How to Formalize All of Mathematics", regarding recent proposals to automatically formalize the entirety of the mathematical literature. The issues...
Bonjour à toutes et tous! Cette année me voilà avec des 6eme, et j'ai été confronté à de vraies difficultés pour poser des additions, soustractions, multiplication et division. La division, j'étais habitué, la multiplication à la marge, mais cette année, les élèves sont très nombreux. Il a fallu donc générer des...
[This is a guest post by Rikab Gambhir. This blog post was initially written in a different file format and converted using AI. — T.] First, they came for the artists, and I did not speak out, because I was not an artist. Then, they came for the mathematicians, and I did not speak out, [...]
[This is a guest post by Deanna Needell and Hayden Schaeffer – T.] [Edit: Oct 16, 2026 : we are in particular interested in ways mathematicians contributed to the results in the wave of recent AI generated preprints, e.g. preliminary results, interactions with AI models, publications, etc.] AI systems are playing an...
Just a short note that First Proof is announcing the result of their "third batch" evaluation at a webinar at 3PM ET hosted by ICARM today. (Registration required.)
Double Maths First Thing had to look up where Wells is Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight in the beauty of maths, and the human effort of figuring things out. This week I've been taking joy in simplifying and clarifying code that...
This is somewhat belated, but: on October 2, the American Mathematical Society released a report based on a recent workshop it organized on the topic of graduate education in the mathematical sciences. (If there have been other such reports that have appeared recently that were not already mentioned on the blog,...
[This is a guest post by Sophie Huiberts, being an expanded version of a post on her own blog. This blog post was initially written in a different file format and converted using AI. — T.] When you prove a theorem, you are imparted a responsibility to the field of mathematics. At minimum you need [...]
I'm collecting here a list of some other recent blog posts or opinion pieces on math and AI beyond the ones posted here or at Proofs and Prompts. Readers are invited to contribute further such links in the comments. Kevin Buzzard, "To grieve, or not to grieve?" Alexander Gamburd, "The Siren Call of Silicon Leviathan:...
[This is a guest post by Kate Stange and Edmund Harriss. This blog post was initially written in a different file format and converted using AI. — T.] In January a group of mathematicians, historians, artists and educators gathered at the Institut Henri Poincaré (IHP) for a very unusual workshop on mathematical...
Bonjour à toutes et tous! Cette année comme depuis 3 ans, on fait travailler les élèves sur l'oral en mathématiques. Les premiers oraux sont passés, on a pu parler d'IA,oui car de petits malins de 4e on fait des exercices avec l'IA pour préparer l'oral... l'oral était .... disons.... un peu malaisant, l'élève ne...
I am uploading my slides to my public lecture "Math 2.0" that I gave yesterday evening at Caltech. (The talk was planned over a year ago, and was initially titled "Machine Assisted Proof" and scheduled to be given back in May. It was postponed to October, and with recent events the talk changed significantly, but [...]
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value about mathematics. For me, what matters is the consistency of math and its unparalleled reliability in support of science and...
[This is a guest post by Álvaro Lozano-Robledo. This blog post was initially written in a different file format and converted using AI. — T.] TL;DR: Keep calm and carry on studying math. I would like to give Terry my heartfelt thanks for giving me the opportunity to contribute a post to his blog. After [...]
[This is a guest post by the Association for Human Mathematics, reposted from their statements page. This blog post was initially written in a different file format and converted using AI. — T.] Yesterday, on October 6th, 2026, OpenAI — which is currently defending lawsuits against accusations of illegal plagiarism,...
[This is a guest post by Raghu Meka. This blog post was initially written in a different file format and converted using AI. — T.] "This problem has been tried by several famous mathematicians." "There is a heuristic argument for why these methods cannot work." "Getting this algorithm would give new circuit lower...
Double Maths First Thing is tangled up in knots Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight in doing and discussing maths. This week I have been in error-recovery mode after drawing a wrong conclusion on a consulting project. Compared to Chris Lewicki's classic,...
Once again this will be a post outside of the mainstream of the historical evolution of calculus. It is also another example of an independent parallel discovery in the history of mathematics, this time in medieval India. More specifically the ... Continue reading →
[This is a guest post by Ben Antieau, cross-posted from his blog. — T.] There was no personal problem, no world problem, whose eloquent solution did not exist— somewhere in some hexagon. —Jorge Luis Borges, "The Library of Babel" [1] New repository I am writing to announce Hexagon, a new repository for research works...
Bon, là youtube, je te remercie, tu as été là quand il a fallu basculer les vidéos chez toi. Bah oui, plus de 15 Go de vidéos à partager c'est pas évident sur mon petit site de supporter toute cette bande passante. Et tu as été là.... Et puis est venu les premières réclamations sur [...]
Bonjour à toutes et tous! J'ai reçu un message de Jérôme Maillard de l' EPLEFPA Agri'Pôle St Hilaire du Harcouët. A regarder cette série les aventurières, il a détecté un passage intéressant! Utilisable en début de cycle 4, on y a trouve un problème de surface et de vitesse ! Télécharger Merci Jérôme, j'ai une [...]
[This is a guest post by Thomas Bloom, crossposted from the Erdős problems forum. This blog post was initially written in a different file format and converted using AI. — T.] AI is changing everything, for better and/or worse, and the rate of change is dizzying; in recent months this has been particularly evident in...
Vous trouverez ci-dessous des adresses pour consulter des rapports de jury de la session 2026 du CRPE mis en ligne sur Internet. Merci de me signaler si vous connaissez des adresses de rapports qui ne figurent pas dans cette liste. Remarque : Pour des...
The next issue of the Carnival of Mathematics, rounding up blog posts from the month of September 2026, is now online at Ben Leis's Math Off The Grid. The Carnival rounds up maths blog posts from all over the internet, including some from our own Aperiodical. See our Carnival of Mathematics page for more information.
Le site Eduscol propose des tableaux permettant de faire le point sur les programmes en vigueur à la rentrée 2026 pour chacun des niveaux de l'école élémentaire et du collège : Document concernant le cycle 2 (CP, CE1 et CE2) : https://eduscol.education.gouv.fr/4347/enseigner-au-cycle-2...
[This is a guest post by Annalisa Buffa. This blog post was initially written in a different file format and converted using AI. — T.] About us and the position The Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations....
[This is a guest post by Jeremy Avigad. This blog post was initially written in a different file format and converted using AI. — T.] "Mathematics underwent, in the nineteenth century, a transformation so profound that it is not too much to call it a second birth of the subject—its first birth having occurred among...
Il y a quelques années, j'avais fait un exerciseur pour montrer deux situations où le théorème de Pythagore pouvaient intervenir. J'en ai donc imaginé 3 autres. L'idée est de travailler les modélisations possibles. Alors là rigoureusement, on est à la limite entre la situation à modéliser et la situation schématisée...
[This is a guest post by Diego Córdoba and Luis Martínez-Zoroa. This blog post was initially written in a different file format and converted using AI. — T.] Euler formulated the equations for an inviscid incompressible fluid more than 250 years ago. Published in his 1757 memoir, they belong to the earliest systems of...
Allez zoup un peu de veille sur l'IA ! Je vous propose deux vidéos. Cette première vidéo a le mérite de mettre des mots sur ce que je ressens également par rapport à l'IA. Là, ça avance vite... Je suis tout autant d'accord avec lui que j'utilise également l'IA notamment pour le codage, car elle [...]
Bonjour à toutes et tous! Voici un petit site qui reprend une activité sur les portraits anonymes pour travailler sur les représentations des stéréotypes genrés. Alors ces portraits sont réels, et permettent de déconstruire les chois d'orientations ou qualités supposées inhérentes au genre. On avait déjà testé avec...
[This is a guest post by Jennifer Taback. This blog post was initially written in a different file format and converted using AI. — T.] Recently I have read a stream of articles questioning the future of mathematics: what constitutes a proof, what we value, how we retain the human enterprise of creating knowledge....
Bonjour à toutes et tous ! J'ai repéré hier soir un petit problème avec le reportage de France sur la baisse des prix de l'essence! A utiliser dès le cycle 3 ! Télécharger
[This is a guest post by Matthew Colbrook. This blog post was initially written in a different file format and converted using AI. — T.] (Disclosure: ChatGPT helped me write and refine this post.) Inspired in part by the recent discussions on this blog, we have started a new project, AIM, an initiative to create [...]
— 1. The Hardy-Littlewood maximal inequality — We work in Euclidean space with Lebesgue measure; we write instead of for the Lebesgue measure of a set . For any and let denote the open ball of radius centred at . Thus for instance . For any , we use to denote the dilate of around [...]
Bonjour à toutes et tous ! Cette année au niveau du laboratoire de mathématiques, nous continuons notre projet d'oral en mathématiques. (on avait mis les ressources sur le site académique, mais là il est down pour l'instant...) Bref, nous n'étions pas hyper satisfait du commencement, on lâchait un peu les élèves , en...
It's Mathober! This post that will get updated throughout this month as I work on prompts. I am doing a few things this month so I separated them by type (doodles, code, Desmos). DoodlesI am going with fungus this year. Days 1-10 (perimeter of an ellipse,
In response to an exponential growth of submissions, the arXiv just announced changes to its rate limiting policy, which among other things restricts submissions to at most two a month for each submitter.
Préparation de l'épreuve de mathématiques du CRPE (bac + 3 et bac +5) Vidéos proposant des éléments de cours et/ou des exercices corrigés https://youtube.com/@DomCRPE
Les séances d'exercices sont indispensables en mathématiques, à tous les niveaux. En classe de sixième où les élèves ont des compétences très hétérogènes, il est très utile de proposer des séances intensives où chacun peut, à son rythme, s'exercer et approfondir ses connaissances. Les fiches qui suivent ont été crées...
On the math-fun mailing list, Dick Hess posted "a couple of curiosities": A speaker at G4G16 noted that \(16^{16}\) ends in \(1616\). A friend sent me this: \(499^{499}\) ends in \(499499\). Are there any other cases including numbers with more digits? That does make me curious! I've kept that email in my inbox since...
Dennis Danielson and Christopher Graney are two of my favourite historians of astronomy. Danielson is the author of the excellent biography of George Joachim Rheticus (1514–1574), The First Copernican: Georg Joachim Rheticus and the Rise of the Copernican Revolution (Walker & Company, ... Continue reading →
Today, elliptic curve cryptography is used throughout the internet... How Elliptic Curves Secure the Digital World Alexis Newton High Point University Introduction Imagine you're texting a friend. You type a message, hit send, and a second later it appears on their phone. Simple, right? Not quite. Behind that...
Alors là je ne marche pas du tout sur les platebandes de mon frère avec compagnonPP , meuh non!! Alors, en fait, son application à Julien elle est hyper bien, hyper complète, mais sur ma liseuse, elle souffre de lenteur et je suis quelqu'un qui prend des notes, j'ai un besoin de stylet et uniquement [...]
Here's a round-up of some news from the last couple of months. Mathematical discoveries Lerch primes are defined as odd primes that divide their Lerch quotients (obviously) and until now we only knew four of them existed. This month, Veljko Vranić has found the fifth Lerch prime: it's 42,447,347, if you were...
A brief post to note two reports that just came out: The Advisory Group on Mathematics and Artificial Intelligence (AGMAI) has posted its general recommendations to AI companies with regards to generation of solutions to mathematical problems. A working group report "AI and TCS: The Next Six Months" arising from a...
Double Maths First Thing is fair drawing in. Hello! My name is Colin and I am a mathematician on a mission to spread the joy and delight in doing and talking (and singing) about maths. This week I'm in the undelightful state of "writing up maths I've already done", which is preventing me from doing...
[This is a guest post by Rachel Webb. This blog post was initially written in a different file format and converted using AI. — T.] The way I do math experienced a great upheaval once before, halfway through my PhD. I was in a seminar with a group of graduate students and faculty developing new [...]
Vendredi dernier, on a eu la chance de croiser avec le frangin Colin de la Higuera lors d'une journée organisée par la Chaire UNESCO RELIA. Lors de la table ronde, il a rappelé quelque chose d'assez simple, mais finalement essentiel : si l'on veut éduquer les élèves à l'intelligence artificielle, il faut aussi leur...
[This is a guest post by a coalition of Caltech mathematicians: the original organizers of Mathathon (Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), two coauthors of the Open Letter about the Mathathon (Dylan King, Tasmin Chu), and other members of the Caltech community...
Bonjour à toutes et tous! Voici un générateur d'exercices auto-correctifs sur le tracé de perpendiculaires. Alors ce principe vient d'une feuille d'activité trouvée sur internet conçue par une enseignante C. Poulain. J'ai repris le principe en ajoutant d'autres figures de base, comme le carré, le triangle ou le...
[This is a guest post by Jess Werk. This blog post was initially written in a different file format and converted using AI. — T.] Hello, I am Jess Werk, professor and chair of Astronomy at the University of Washington. Astronomy may interest mathematicians right now because our field has already been reshaped by...
Avec la DRANE, nous sommes beaucoup partis de la question de l'esprit critique face aux IA génératives. En formation disciplinaire, d'un autre côté, nous avons aussi une demande institutionnelle assez forte autour du plan « Filles et Maths ». Je me suis demandé ce qu'une IA générative conseillerait à deux élèves ayant...
[This is a guest post by Ivan Corwin. This blog post was initially written in a different file format and converted using AI. — T.] Mathematics and those mathematicians who guide its development have been central to societal advancement since antiquity. AI, like many tools that were invented by mathematicians (e.g.,...