A little over a week ago, artificial intelligence company OpenAI announced 10 advances in mathematics and computer science made with its as-yet-unreleased model Astra. The discoveries cover a wide ...

OpenAI Astra achieved a major breakthrough by solving 10 complex theoretical math problems, utilizing sub-agents for ...

What if a machine could think as deeply as a human mathematician, solving problems so intricate they stump even the brightest minds? Enter Gemini Deep Think, an advanced AI model that has not only ...

The AI boom has turned the standard profit margin model on its head, according to Apollo Chief Economist Torsten Slok—and ...

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

StarSpark AI tutor Sparky uses speech, handwriting recognition and grade-level pacing to teach students math reasoning rather than just delivering answers.

Could connecting artificial intelligence with math concepts boost students’ attitudes toward the subject? A research project from the Concord Consortium aims to find out. The nonprofit educational ...

Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth. This logical love of proofs is uniquely suited to opening up the black box of ...

But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

This press release originally appeared online. As AI becomes more widespread in education, more than half of high school students (56 percent) polled think it can go a long way in reducing math ...