AI 没能解出的最后一道 IMO 压轴题

这支视频既是巨兽，也是制作过程的乐趣。

写这篇文章时，我发现自己思考了很多关于当前数学领域人工智能的思考。根据标题，你可能会认为这是因为这个问题在历史上的位置：在一个如今几乎完全被推理模型主导的问题类别中，最后一个坚守阵营。

然而，这与此无关。

如果视频的目的只是展示这个问题和解决方案，可能就15分钟左右。但我认为它值得你作为观众花50分钟的时间，戏剧性地更重要的是，我们制作它的原因，是因为证明本身并不是理解的全貌。

我在频道上常用的一句话是“我希望你觉得你自己也能发现这个”，原因是这比单纯问“什么是必然的？”更贴近我所理解的深刻理解。

有些证明本身就蕴含着发现的种子，但这个问题不是那样。仅仅看到证明就让我觉得“我知道这是真的，但你到底怎么会想到这个？”试图回答这个问题是整个过程中最具创造力的部分。