Success for Robert Zimmer is defined differently these days. As the president of the University of Chicago since 2006, he’s made headlines for landing nine-figure financial gifts and writing op-eds in ...

A research team led by Maxim Kontsevich, a professor at the French Institute of Advanced Scientific Studies (IHES) and a 1998 Fields Medalist, has released a proof claiming to solve a long-standing pr ...

https://doi.org/10.4169/amer.math.monthly.122.03.233 https://www.jstor.org/stable/10.4169/amer.math.monthly.122.03.233 The Monthly publishes articles, as well as ...

This is a preview. Log in through your library . The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, ...

An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

As he was brushing his teeth on the morning of July 17, 2014, Thomas Royen, a little-known retired German statistician, suddenly lit upon the proof of a famous conjecture at the intersection of ...

Daniel R. Grayson is professor emeritus of mathematics at the University of Illinois. He was a friend of Voevodsky from 1994 and worked with him on computer proof checking. Vladimir Voevodsky ...

A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...

As he was brushing his teeth on the morning of July 17, 2014, Thomas Royen, a little-known retired German statistician, suddenly lit upon the proof of a famous conjecture at the intersection of ...

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 ...