DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

In the last couple of posts on the inverted transition-to-proofs course, I talked about course design, and in the last post one of the prominent components of the course was an assignment type that I ...

A few weeks ago, an animated discussion unfolded in a WhatsApp group whose members are mathematicians interested in the Indian Mathematical Olympiad. The spark was a Nature paper that announced a ...

Landmark results in geometry and number theory marked an exciting year for mathematics, at a time when advances in artificial intelligence are starting to transform the subject’s future. In May, a ...

In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program. A group of nine mathematicians has proved the ...

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...