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.

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

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

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