Generative artificial intelligence tools are becoming more available, and, for some workers, indispensable for their jobs.

Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...