数学插画能否严格？GPT-6 Astra 发现首个三维非周期单密铺 Chair44 引发的数学实践之争

Illustration Beyond Proof

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