Quanta Books Releases The Proof in the Code

Simons Foundation, June 2026

One of the largest shifts in the history of mathematics is happening right now, and a new book from Quanta Books chronicles the people and project responsible. At the heart of this revolution is Lean, a programming language and proof assistant that serves as a “truth machine,” guaranteeing that a given proof is 100 percent correct.

CCM Distinguished Research Scientist Stéphane Mallat Awarded CNRS Gold Medal

Simons Foundation, September 2025

The French National Centre for Scientific Research (CNRS) has awarded mathematician Stéphane Mallat the 2025 CNRS Gold Medal for his “exceptional contributions to the dynamism and influence of French research.” The award announcement highlights Mallat’s influential research on wavelets and the impact of his contributions to the fields of signal processing and artificial intelligence.

Announcing the First Scientific Software Research Faculty Fellows

Simons Foundation, September 2025

The Simons Foundation is pleased to announce the first recipients of its Scientific Software Research Faculty Fellowships. These fellowships will support new software-focused professor positions at academic institutions. In these roles, the fellows will develop scientific and mathematical software that will play a crucial role in enabling discoveries through data analysis, simulations, visualizations and calculations.