DeepMind, the Google AI R&D lab, believes that the key to more capable AI systems might lie in uncovering new ways to solve challenging geometry problems. To that end, DeepMind today unveiled ...

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

An AI system developed by Google DeepMind, Google’s leading AI research lab, appears to have surpassed the average gold medalist in solving geometry problems in an international mathematics ...

After cracking an unsolvable mathematics problem last year, AI is back to tackle geometry. Developed by Google DeepMind, a new algorithm, AlphaGeometry, can crush problems from past International ...

Imagine placing oranges or tennis balls into a rigid container. How can the balls be arranged such that they occupy the largest volume fraction of the container, otherwise known as the largest packing ...