困扰数学家一个多世纪的难题，AI从生物学中找到线索