GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly ...

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

A 23-year-old without an advanced math degree has reportedly solved a decades-old Erdős problem with help from ChatGPT. Experts say the AI took an unconventional approach that human mathematicians had ...

A ripple tells you something happened, but not exactly what. That is the core problem behind a hard class of equations that ...

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...

Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Over the course of my 25-year career in the mathematical optimization software industry, I’ve lost count of how many times I’ve been asked this question: “Can you tell me what mathematical ...