获取独家产品信息，尽享促销优惠！立即订阅，不容错过
* 限···时··优惠
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
聊天机器人对 80 年前的“单位距离”猜想的结果是第一个人工智能证明，如果人类单独完成的话，很可能会在数学顶级期刊上发表
