AI 尚未攻克的最后一道 IMO 难题【视频】

本期视频探讨了国际数学奥林匹克（IMO）中至今仍无法被 AI 解答的最后一道难题，并附 Hacker News 讨论链接，目前尚无评论。