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

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

The National Council of Teachers of Mathematics makes the argument that teachers, principals, and district leaders must “stay ...

The founder of Axiom Math discusses why some researchers prefer to work for neolabs and weighed in on the AI talent wars.

Hong Kong, China, 14th Nov 2025 – AskMath announced the launch of an AI Math Solver designed to provide detailed problem-solving guidance for a variety of mathematical queries. The platform delivers ...

A Chinese artificial intelligence framework has independently solved a math problem proposed over a decade ago by a US ...

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

When my cofounder and I were accepted into a competitive startup accelerator program in fall 2025, we applied with an ambitious idea: to build an “AI scientist” for machine learning research. What ...

New tests show China’s AI models trail Western systems on ARC AGI 2, scoring roughly like leading U.S. models from eight ...