GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

Remember that math problem from 2014? A Chinese AI tool cracked it ...

Number sense is so ingrained that many adults don’t remember being taught such early math skills, much like learning how to read. But unlike the recent wave of evidence on science-based reading ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Chinese AI cracks decade-old maths problem without human oversight - Breakthrough provides example of how mathematical ...

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

Daniel Glasscock, an assistant professor of mathematics and statistics, tapped two undergraduate students to verify his ...

Faculty and students from the Department of Mathematical Sciences recently represented the U of A at two regional conferences focused on mathematics and mathematics education, highlighting innovative ...

Being able to secure funding for research is a goal held by many faculty members throughout higher education, though it is one that often takes years of proposals and refinement to achieve. Kara Maki, ...

A key part—though surely not the only part—of early-grades math is ensuring students get the basic arithmetic functions down and, beyond that, making sure they’re able to swiftly and automatically ...