What an AI maths breakthrough means for human discovery (ft.com)

In solving complex problems, process can be as important as the final result