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

Artificial intelligence has moved from checking homework to attacking problems that professional mathematicians once treated as out of reach. Systems tuned for symbolic reasoning are now cracking long ...

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

Harmonic AI, an artificial intelligence startup co-founded by Robinhood Markets Inc. Chief Executive Officer Vlad Tenev, has raised $100 million in funding to tackle a problem that has sometimes ...

Researchers from Drexel University’s School of Education will join peers from Ursinus College and the 21st Century Partnership for STEM Education in an effort to strengthen artificial intelligence ...

In an era when AI systems seem to be sparking concerns that computer science degrees may hold less value than in the past, Aaron Lauda said this new major will help students become “future-proof.” ...

Harmonic AI, an artificial intelligence startup co-founded by Robinhood Markets Inc. Chief Executive Vlad Tenev, has raised $100 million in funding to tackle a problem that has sometimes confounded AI ...

Ken Ono’s career as one of the world’s most prominent mathematicians has taken him to places that he never could have fathomed. The renowned University of Virginia professor regularly ventures far ...

(TNS) — Student struggles in math remain a major area of concern in K-12 schools as educators search for ways to get students on track with academic recovery and keep them engaged in learning overall.