AI贡献最大的一道题出现了谁能想到，AI竟破解了困扰数学界80年的“平面单位距离