Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to expansion of mathemat...

Scott’s foreword: I’m extremely grateful to my brilliant colleagues, Pravesh Kothari, Raghu Meka, and Prasad Raghavendra, for sharing the guest post below about how theoretical computer…

Read the declaration and add your name.

I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

The theoretical side of the field doesn’t require computing machines. But many questions would never have been posed without them.

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining what makes the Erdős problems unique, mathematicians are trying to understa...

YouTube video by CBC News

A half century after the eyes of the world were on Montreal, which hosted a memorable Olympic Games that ended up costing the city and the province a sum that took a generation to pay off, the impacts...

The University of Bologna has opened a new public library housing the personal book collection of writer Umberto Eco, a decade after his death.

Harry Lewis pointed Bill and me to Gottfried Leibniz's 1677 treatise  The True Method  (translated from the original French ). I highly reco...

YouTube video by Mark Carney