Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...
There are a few methods for mixing up a killer cocktail, but one of the best is to measure your ingredients out in parts.