困扰人类60年的数学猜想，AI花80分钟解出来了！#ai创造营# http://t.cn/AXJiKRbJ ​