## 人工智能解决克努斯“克劳德循环”难题 最近的进展展示了人工智能在复杂问题解决方面的日益增强的能力。大型语言模型已经完全解决了克努斯提出的“克劳德循环”问题，这是一个长期未解的数学挑战。这一成功引发了关于人工智能在数学领域潜力的争论，一些人认为人工智能擅长“低深度、高广度”的任务，能够凭借其强大的处理能力发现新的模式。 讨论的中心在于人工智能是会增强还是最终超越人类数学家。一些人预测，问题解决将转向人工智能驱动，利用强化学习在Lean等形式化系统上进行操作，而另一些人则强调继续需要人类的直觉和表征能力。人们对人工智能可能生成新颖但最终有缺陷的解决方案表示担忧，这需要人类的监督。 更广泛的影响延伸到其他领域，与人工智能对软件工程的影响以及自动化可能重塑就业市场的情况相提并论。虽然一些人预见未来人工智能将处理复杂的任务，使人类能够从事更具创造性的活动，但另一些人则担心经济 disruption 以及适应的必要性。这场讨论凸显了人类智能与人工智能之间不断演变的关系，以及在短期内采用协作的“半人马”方法的潜力。