Mathos AI Mathos AI is a modern math assistant designed to make problem-solving easier and faster for students and educators alike. It allows users to type out a math problem or snap a picture of it, ...

The dual agent AI system autonomously solved Anderson's conjecture from 2014 Rethlas explores problem-solving strategies like a human mathematician would Archon transforms potential proofs into ...

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

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

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

The National Council of Teachers of Mathematics makes the argument that teachers, principals, and district leaders must “stay up to date on current AI trends” to prepare students for the future. But ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Fields Medal team and global mathematicians stress the value of following proofs step by step amid rapid AI advances ...

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension with complex math concepts, making them a common hurdle for students. The good ...

In the mid-noughties, when music by the Killers and Franz Ferdinand blared out of every pub and nightclub I passed, I spent ...

Mathematics-focused artificial intelligence startup Axiom Quant Inc. stepped out from the shadows today to announce it has raised $64 million in a funding round that values it at $300 million. The ...