Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, announced Monday the beta launch of an iOS and Android chatbot app where users can access its AI model, Aristotle. With this launch, the ...

(TNS) — Matthew Karabinos was hesitant to try ChatGPT, a generative artificial intelligence tool, when it first came out in 2022. The sixth-grade math teacher was concerned about what the technology ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

Rapid advances are rendering benchmarks obsolete in record time ...

The algorithms that drive artificial intelligence are rooted in sophisticated mathematical concepts. So, then, it might make sense that the marriage between AI and math instruction in K-12 schools ...

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

Math anxiety is a significant challenge for students worldwide. While personalized support is widely recognized as the most effective way to address it, many teachers struggle to deliver this level of ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

Somewhere between the doom sellers and the utopians, real work is getting done with AI, and real, substantive improvements in ...