Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

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

Mathematics has always stood quietly behind great changes, and the rise of AI is no different. As machines learn through ...

Is an artificial intelligence revolution about to transform mathematics? Some prominent mathematicians think so, thanks to automated tools that can help write proofs suddenly showing impressive leaps ...

An artificial-intelligence algorithm that discovers its own way to learn achieves state-of-the-art performance, including on some tasks it had never encountered before. Joel Lehman is at Lila Sciences ...

It can take weeks to write a grant proposal, so how would it feel to have a machine reject it in seconds? Researchers in Spain have been finding out, after a major funding foundation in the country ...