Illustration Beyond Proof

GPT-6 Astra 在 Ioannis Tsiokos 提示下发现了首个三维非周期单密铺 Chair44，Tsiokos 分享的 61 页论文中，他称自己理解直观几何论证却不理解其中的数学。Chaim Goodman-Strauss 随后将该论证提炼为 8 页，围绕匹配箭头图示给出经典层级式非周期性证明。围绕这一案例，数学界正重新讨论插画与证明、理解之间的关系。