一位数学家利用人工智能的帮助，解开了87年前的谜题，并在推特上毫不起眼地宣布了答案。专家称，这是人工智能破解的最难的数学问题。