IMO 2025 saw AI models achieving Gold medal scores, raising questions about the future of mathematical problem-solving competitions.

Researchers have built an artificial intelligence (AI) that can generate new mathematical formulae — including some as-yet unsolved problems that continue to challenge mathematicians. The ...

Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex geometry problems better than International Mathematical Olympiad (IMO ...

Modeling how cars deform in a crash, how spacecraft respond to extreme environments, or how bridges resist stress could be made thousands of times faster thanks to new artificial intelligence that ...

Alphabet's Google unveiled a pair of artificial intelligence systems on Thursday that demonstrated advances in solving complex mathematical problems, a key frontier of generative AI development.