AI Just Solved a Math Problem No One Could Prove

od The Sentient Code: AI and Robotics