Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ...

Google DeepMind announced on 21 July that its software had cracked a set of maths problems at the level of the world’s top secondary-school students, achieving a gold-medal score on questions from the ...