AlphaGeometry and the threat of AI’s takeover of mathematics | Explained
The Google DeepMind program can produce auxiliary constructions for geometry problems with no prior human demonstration, writes Mohan R, in The Hindu.
Mohan R is a faculty member at Azim Premji University.