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

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help ...

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

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

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

Efforts to use the tech to customize lessons to students' individual interest demonstrate its potential—and the shortcomings.

A new publication from Bielefeld University sets a benchmark in optimization research. Together with an international team, Professor Michael Römer from the Faculty of Business Administration and ...

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