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.

In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

Elon Musk solved an “unsolvable” math problem after a Harvard professor called him “rich but dumb.” Rating: False (About this rating?) In May 2025, a claim (archived) circulated online that the tech ...

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

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ...

(THE CONVERSATION) Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to ...

STARKVILLE, Miss.—Mississippi State Instructor II Kim Walters is using her Math in Your World class to teach students that math is more than problems in a textbook––it’s a practical tool with everyday ...