AI资讯2026/03/13图灵奖得主震惊!Claude一小时破解困扰唐纳德·克努斯30年的数学难题唐纳德·克努斯惊叹于人工智能仅用一小时解决了他研究数周、甚至可追溯至30年前的数学问题,展现了AI在逻辑推理领域的巨大潜力。