The original version of this story appeared in Quanta Magazine. In 1917, the Japanese mathematician Sōichi Kakeya posed what at first seemed like nothing more than a fun exercise in geometry. Lay an ...

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

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

So how to best describe Americans’ relationship with math? The answer is, well, a lot like multivariable calculus: It’s complicated. A national Gallup study reveals that more than 90% of American ...

Its performance matches the smartest high school mathematicians and is much stronger than the previous state-of-the-art system. Google DeepMind has created an AI system that can solve complex geometry ...