Can AI?

Can AI prove the Pythagorean theorem?

WikiHow article