In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

Jacob Holm was flipping through proofs from an October 2019 research paper he and colleague Eva Rotenberg—an associate professor in the department of applied mathematics and computer science at the ...

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

For the second time in a week, a long-standing conjecture has been disproved by artificial intelligence, highlighting the advanced mathematical capabilities of ChatGPT and its ilk ...

Researchers thought that they were five years away from solving a math riddle from the 1980's. In reality, and without knowing, they had nearly cracked the problem and had just given away much of the ...

Graph theory examines mathematical structures in which objects are represented as vertices connected by edges. It provides the language and tools to model networks in computer science, biology, social ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

Graph decomposition encompasses a suite of methods by which the edges of a graph are partitioned into subgraphs that satisfy prescribed properties or isomorphism classes. Central to this field are ...

In this article, we will demonstrate how to use the graphing feature in the Windows calculator to try and make mathematics more fun. Microsoft has always strived to kick up a notch the Windows ...