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

> 原标题：Illustration Beyond Proof

- 来源：Hacker News 首页
- 发布时间：2026-10-11T23:22:36.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/kg63ffjvlfx7a3rptj6c3rnsd
- 原文：https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/

## 摘要

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