Researchers say the system not only outperforms American competitors in solving problems, it can tackle an even tougher ...

A Chinese AI system has surpassed US rivals at the International Mathematical Olympiad, solving geometry problems faster and more efficiently.

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software that’s able to solve difficult geometry proofs that are often used to test the brightest ...