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

In May 2025, a claim (archived) circulated online that the tech entrepreneur and former Trump adviser Elon Musk solved an "unsolvable" math problem after a Harvard professor called him "rich but dumb.

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

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

It's not as famous as Fermat's Last Theorem. In fact, the math problem, which has not had a correct solution since it was proposed in the 1960s, doesn't even have a name. But a new, elegant solution ...

Staring at a complex calculus problem can feel like hitting a brick wall. Whether it’s a tricky derivative or a mind-bending ...

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