#人机协作

图灵奖得主震惊！Claude一小时破解困扰唐纳德·克努斯30年的数学难题

唐纳德·克努斯惊叹于人工智能仅用一小时解决了他研究数周、甚至可追溯至30年前的数学问题，展现了AI在逻辑推理领域的巨大潜力。