An artificial intelligence breakthrough uses reinforcement learning to tackle the Andrews-Curtis conjecture, solving ...

To develop an AI system capable of doing such difficult work, a team of researchers at the California Institute of Technology ...