AI won’t only enable professional researchers to supercharge their research efforts, but it could get interested amateurs ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

A decades-old geometry puzzle has finally been solved by a young mathematician in South Korea. Hidden behind a simple hallway ...

February, is rumored to outperform ChatGPT and Claude in long-context coding, targeting elite-level coding tasks.

Ken Ono, one of the most prominent figures in modern number theory, has taken leave from the University of Virginia to join ...

Using words like ‘factors,’ ‘denominators’ and ‘multiples’ may be part of a constellation of good math teaching practices ...

Halafian pottery shows that early agricultural societies practiced advanced mathematical thinking through plant-based art long before writing.

It may seem like math is always right because it follows strict rules, but how do we know for sure that there are no mistakes? That is where formal verification comes in. Formal verification is the ...

Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they often find themselves at sea when first confronted with writing proofs. But ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

Artificial intelligence (AI) has reached the stage of directly proving complex mathematical theories beyond simple calculation. Google DeepMind researchers on the 13th published findings on the AI ...