Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback