Twenty-one years ago this week, mathematicians released a list of the top seven unsolved problems in the field. Answering them would offer major new insights in fundamental mathematics and might even ...

This is one of the most important unsolved problems of mathematics. The E8 calculation is a major step, and suggests that the Atlas team is well on the way to solving this problem. The Atlas project ...

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...

DeepMind, the Google AI R&D lab, believes that the key to more capable AI systems might lie in uncovering new ways to solve challenging geometry problems. To that end, DeepMind today unveiled ...

Irene Fonseca has been elected a fellow of the American Association of the Advancement of Science (AAAS), the world’s largest ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...