Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...
We’re sorry, this feature is currently unavailable. We’re working to restore it. Please try again later.