A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...
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 ...
J. R. Brown, Philosophy of mathematics: an introduction to the world of proofs and pictures, Routledge (1999). 2. R. B. Nelsen, Proofs without words I: exercises in ...