2016 年 IMO 的第 6 题（也就是第二天比赛的第 3 题）非常有趣，这恐怕算得上是近十年来 IMO 的所有题目中最有趣的题目之一。平面上有 n ≥ 2 条线段，每两条线段都有一个交点，并且任意三条线段都不交于同一点。 Geoff 打算在每条线段的其中一个端点处放置一只青蛙，并让每只青蛙都朝向它所在线段的另一个端点。然后， Geoff 将会拍 n – 1 次手。每次拍手时，每只青蛙都立即向前跳到它所在线段的下一个交点处（青蛙们在跳跃过程中始终不会改变方向）。 Geoff 希望巧妙地安排初始时放置青蛙的方法，使得在整个过程中，任意两只青蛙都不会同时到达某个相同的交点。这个题目有两个小问。
来自日本体育大学的一场“集团行动”演出被制作成 GIF 动画后迅速在网上蹿红。在动画中，一个 5 × 5 的方阵沿着某一方向整齐地匀速前行，另一个 5 × 5 的方阵朝着与之垂直的方向也在整齐地匀速前进，两者奇迹般地互相穿过了对方。问题来了：这是怎么回事？
在各种令人惊讶的数学事实当中，我最喜欢的类型之一便是，某个数学命题在二维空间、三维空间甚至四维空间当中都是成立的，但偏偏到了某个维度时，命题就不成立了。 Keller 猜想就是一个这样的例子。
同样大小的正方形平铺整个平面（比如像下图那样），则一定存在某些边与边完全贴合的相邻正方形。
类似地，同样大小的正方体平铺整个空间（比如像下图那样），则一定存在某些面与面完全贴合的相邻正方体。
1930 年， Ott-Heinrich Keller 猜测，或许这一点对于更高维度的空间都是成立的。也就是说， Ott-Heinrich Keller 猜测，对于任意正整数 n ≥ 2 都有，同样大小的 n 维立方体平铺整个 n 维空间，则一定有两个面与面完全贴合的相邻 n 维立方体。这就是著名的 Keller 猜想。
1940 年， Oskar Perron 证明了，当 n = 2, 3, 4, 5, 6 时， Keller 猜想确实是正确的。一切似乎都在正轨上。然而，到了 1992 年的时候，事情出现了转折： Jeffrey Lagarias 和 Peter Shor 构造了一个 n = 12 时的反例，从而推翻了 Keller 猜想。让我们来看一看 Lagarias 和 Shor 的神构造吧。为了方便起见，下面我们直接用“立方体”一词指代 n 维的广义立方体，“立方体的面”则代表 n 维立方体的 n – 1 维面。
房间的正中间悬浮着一个正方形的金属框。五位画家看到这般奇迹后，立即拿出纸和笔，把这个金属框的样子画了下来。但是，由于五位画家观察这个金属框的角度不同，它们画出来的结果也互不相同。请问，这五位画家画出来的结果都是对的吗？换句话说，有没有哪一幅图或者哪几幅图根本不可能是一个正方形的透视图？
