作者认为,随着 AI 智能体承担起“认知卸载”的角色,CUDA 领域特定语言(DSL)和复杂的 C++ 抽象正走向终结。过去,工程师构建抽象层是为了管理 GPU 超大规模内核的极端复杂性;如今,AI 智能体能直接将高级意图转化为针对目标优化的底层代码,这使得中间框架以及僵化、脆弱的代码库日益过时。 这一转变将“事实来源”从往往晦涩难懂且难以维护的代码库,转移到了底层意图、不变量以及严谨的测试预言(test oracles)之上。尽管目前的抽象层仍是团队协作和知识转移的重要共享界面,但作者预测,随着 AI 能力的增强,我们将不再关注代码差异的审查,转而验证规范和测试预言。在这种新范式下,实现方案成了可抛弃的临时编译产物,而领域知识和高级策略才具备持久价值。本质上,行业正走向这样一个未来:开发者定义机器要做什么,而智能代理负责“如何实现”,从而使传统的手动调优 DSL 变得不再必要。
数学家大卫·史密斯(David Smith)、约瑟夫·塞缪尔·迈尔斯(Joseph Samuel Myers)、克雷格·S·卡普兰(Craig S. Kaplan)和海姆·古德曼-斯特劳斯(Chaim Goodman-Strauss)取得了一项重大突破:他们发现了首批“非周期性单铺砖”(aperiodic monotiles)——这类形状可以在平面上进行无限铺设,且永远不会形成重复的图案。
第一个发现被称为“帽子”(Hat),它通过自身及其镜像版本的组合来平铺平面。这一发现立即引起了全球关注,不仅获得了《纽约时报》的报道,还登上了《吉米·坎摩尔直播秀》。为庆祝这一成就,美国国家数学博物馆和英国数学协会共同举办了“爱因斯坦疯狂帽子竞赛”,以展示对这些形状的创意艺术诠释。
在此成功基础上,研究团队很快又发现了“幽灵”(Spectre),这是一种“手性”非周期性单铺砖。“幽灵”与“帽子”不同,它无需镜像副本即可进行铺设,从而成功解答了一个长期存在的难题:是否存在一种仅通过平移和旋转就能实现非周期性铺设的形状。这些发现代表了几何学的一个重要里程碑,证明了单一形状可以在无限表面上维持非重复的秩序。研究人员已将这些发现记录在具有开创性的论文和公开讨论中,相关资料可通过博物馆的档案资源获取。