Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...

Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...

For the second time in a week, a long-standing conjecture has been disproved by artificial intelligence, highlighting the ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major ...

School leaders can use these ideas to provide math teachers with discipline-specific insights for improving their instructional practices.

For most of the past century, mathematicians have been exploring the limits of Ramsey theory, the study of order hiding inside chaos—or, more accurately, how much disorder can be packed into a system ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

I will never forget this one day when Kevin was a preschooler. We had an IEP meeting, and one of his proposed math IEP goals was to be able to visualize and identify what 2 of something looks like or ...

In this video, Dell’s John Roese outlines several AI and technology predictions for 2026. He argues that enterprise AI is moving into a more mature phase, where organizations must focus less on broad ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...