[This is a guest post by Boris Alexeev. Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős problems, especially involving the formalization of old and n…

Browse the publicly accessible channels in Lean without logging in.

So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspired me to write about the question more broadly. Fir…

Setting the scene The 2025 International Mathematics Olympiad has come and gone. Reminder: this is an exam for high-school kids across the world (each country typically sends six kids), comprising …

Browse the publicly accessible channels in Lean without logging in.

YouTube video by Simons Foundation

AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math

The U.S. National Science Foundation is investing over $74 million in six research institutes focused on the mathematical sciences and their broad applications in all fields of science, technology and...

Setting the scene The 2025 International Mathematics Olympiad has come and gone. Reminder: this is an exam for high-school kids across the world (each country typically sends six kids), comprising …

Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...

FOR IMMEDIATE RELEASE July 24, 2025 Contact: media@renphil.org ; richard.hillary@xtxmarkets.com ; pr@convergentresearch.org

Browse the publicly accessible channels in Lean without logging in.

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a fir...

There’s no shortage of headlines proclaiming that AI will soon revolutionise everything — including mathematics — and leave no profession untouched. But what’s really happening behind the scenes? In t...

YouTube video by INI Seminar Room 1