数学 AI 直面模 stacks 循环定义,网友:祝你们好运

burny_tech · x · 2026-11-12

一条 AI 圈数学梗:截图是维基百科对「椭圆曲线的模叠」(moduli stack of elliptic curves)的「1. Idea」部分——定义是「椭圆曲线的模叠就是一个椭圆曲线的模叠」,典型的循环同义反复定义。发帖者以此调侃各家数学 AI(Axiom、Harmonic 等)要啃下这种文档「祝你们好运」,是对形式化数学/数学推理模型进展的圈内玩笑。

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →