Adam Sikora’s complex math problem was used for latest round of experiments testing AI’s rapidly evolving mathematical ...

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the ...

"Mathematics is not a game of chess," one Fields Medal winner told CNET. Mathematicians worry AI companies are just trying to ...

OpenAI’s recent claim of solving a Millennium Prize problems causes both celebration and controversy ...

OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier ...

For the first time, Chinese researchers have used a domestically developed large language model (LLM) to help solve a ...

OpenAI says it solved more than 370 math problems. Mathematicians say there could be breakthroughs in the bunch, if verified ...

OpenAI says 10,000 of its agents solved the 90-year-old Navier-Stokes problem in 88 hours, but one mathematician has challenged the claim.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.