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

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

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 original problems. Those booklets get shared among delegations, then quietly ...

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the ...

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

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

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

The International Mathematical Olympiad (IMO) is probably the most prestigious competition for preuniversity students. Every year students from around the world compete for its coveted bronze, silver ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...