AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, conducting encyclopedic surveys of academic literature, and even finding ...

A Russian mathematician has developed a new method for analyzing a class of equations that underpin models in physics and ...

Neuromorphic computer solves differential equations ...

Mathematicians are still trying to understand fundamental properties of the Fourier transform, one of their most ubiquitous ...

A new technical paper titled “Solving sparse finite element problems on neuromorphic hardware” was published by researchers at Sandia National Lab. “The finite element method (FEM) is one of the most ...

eSchool News is counting down the 10 most-read stories of 2025. Story #4 focuses on making math instruction more relevant to students. The real question students are asking is, “When am I ever going ...

(THE CONVERSATION) Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to ...

AlphaEvolve, an AI that “evolves” code solutions, rediscovered and improved proofs for the finite-field Kakeya conjecture. Gemini Deep Think verified the logic, and AlphaProof formalized the ...

That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...

The New York State Education Department is pushing new math guidelines, including a recommendation that teachers stop giving timed quizzes — because it stresses students out. The new guidelines also ...