What's new

We’re excited to launch Stage 1 of the Lean Kernel Challenge, a multi-stage competition to improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from. The Lean Kernel Challenge brings the community together to develop faster algorithms and better representations for verified computation. Through these collective contributions, […]

[This is a guest post by the editors of the communal blog Proofs and Prompts. This blog post was initially written in a different file format and converted using AI. — T.] In the mathematical community, AI became a central conversation topic months before we started our communal blog, called Proofs and Prompts. Some of […]

[This is a guest post by Noah Giansiracusa. This blog post was initially written in a different file format and converted using AI. — T.] Imagine a tech company announces new robot workers that can prepare food better than human chefs. If you think of dining out as sitting at a table and having your […]

[This is a guest post by Ben Green. I support the letter, and am also a (corresponding) Fellow, but I have worked in various collaborations with the AI industry and so was not eligible to be a signatory. — T.] The rapid development of AI is of enormous public interest right now, with the possible existential […]

[This is a guest post by Ben Antieau, crossposted from his blog. This blog post was initially written in a different file format and converted using AI. — T.] To resolve a central tension in the practice of mathematics by academics, I suggest the parallel with fast food and its attendant slow food movement. Three […]

[This is a guest post by Henry Cohn. This blog post was initially written in a different file format and converted using AI. — T.] In this essay I’d like to discuss the role of AI-generated solutions in mathematics and why many mathematicians are justifiably concerned about a mismatch of values. Let’s start with the […]

[This is a guest post by Emily Riehl. This blog post was initially written in a different file format and converted using AI. — T.] Like many mathematicians, I was drawn to the field as a little girl by its aesthetics: questions that I found endlessly fascinating and arguments that struck me as delightful and […]

[This is a guest post by Bryna Kra. This blog post was initially written in a different file format and converted using AI. — T.] For generations, mathematicians have treated the production of theorems as a clear measure of success. The stronger the theorem, the deeper the proof, the more surprising the connections, the greater […]

[This is a guest post by Steven Strogatz. This blog post was initially written in a different file format and converted using AI. — T.] WIRED reported today that I began to cry while talking about AI and mathematics. But the article didn’t explain what moved me. The truth is, I’m not entirely sure myself. […]

There’s some exciting very recent work by Alpöge and Buckmaster, building upon prior work by Córdoba and Martínez-Zoroa, in the general topic around the infamous global regularity problem for the incompressible three-dimensional Navier-Stokes equations. It is now widely expected that it should be possible to construct smooth initial data and smooth forcing term that would […]

A recent tradition of the ICM is to have a non-technical popular article written for each of its medallists. (This is separate from the older tradition of having a laudatio for the winner, which is similar but aimed at a more advanced audience.) I was approached to write such an article for Hong Wang on […]

Mathematical Discourse is a new online, peer-reviewed mathematics journal, publishing videos of mathematics research talks of the highest quality.  Our inaugural scientific and editorial boards are listed at the end of this message. Our goal is to promote and nourish a culture which values communication as an essential part of the research process. Giving a […]

Ben Krause, Hamed Mousavi, Joni Teräiväinen, and I have just uploaded to the arXiv our paper Quantitative bounds for sets lacking polynomial progressions with shifted prime difference. The purpose of this paper is to obtain quantitative versions of this theorem of Wooley and Ziegler: Theorem 1 Let be polynomials of one variable with integer coefficients […]