Add Yahoo as a preferred source to see more of our stories on Google. AI tools helped solve around 100 extant problems left behind by one of the 20th century’s greatest mathematicians. Hungarian Paul ...

GPT 5.4 Pro offers several other innovations. Open AI claimed that it was the first version that can do things on computers, ...

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...