Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...
Renowned mathematician Po-Shen Loh visited a trio of Santa Fe schools to talk about math and his online educational program.