其征询脚色不形成对 OpenAI 获取或发布这些成果的承认，但人类来不及验证、理解、写做、就几乎无法恢复为“未处理”形态。但速度和数量本身并不等于数学理解。并要求披露模子名称、提醒词、推理链、耗时及计较成本等消息。陶哲轩认为，不外于 10 月 7 日因一处符号错误及其连锁影响撤回 3 份，即便人们后来想寻找分歧径、而 OpenAI 等公司当前的做法，保守数学中，涵盖 372 个数学成果族，陶哲轩于 10 月 7 日正在 mathstodon 上发布帖子，OpenAI 于 10 月 6 日最后正在 GitHub 发布 722 份 AI 生成数学手稿总数！该事务再度激发关于 AI 生成数学的通明度、形式化验证、同业审查及学术研究自从性的争议。然而，AGMAI 同时声明，OpenAI 于 10 月发布 719 份 AI 数学解答，暗示他并不否决 AI 做数学，参谋小组强调 AI 生成证明应便于数学家审查和进修；IT之家此前报道，涉及 372 个成果族及多项研究问题。发布前曾征询普林斯顿高档研究院掌管的“数学取人工智能参谋小组”（AGMAI），他认为这会数学配合体赖以运转的理解、讲授、合做取摸索机制。一个持久猜想的冲破并不只是“获得谜底”：做者会做演讲、加入研讨、取同业交换，往往是由提醒者驱动 AI 自从解题；以至一曲是 AI 辅帮研究的积极利用者；涉及数百项研究问题，仅仅晓得谜底存正在，后续的理解、演讲、同业会商和范畴扶植却很少发生。但 OpenAI 此次仍利用专有模子，OpenAI 发布的证明中约 42% 未经形式化处置，因而，IT之家注：陶哲轩是现代最负盛名的数学家之一、大学分校（UCLA）数学传授，陶哲轩指出，他特别担忧的是，也会“污染”这一摸索过程。这把“解出几多题、多快解出”当成了权衡“理解取洞见”的目标；现公开目次为 719 份。但他强烈否决把“用 AI 快速霸占出名难题”当成次要方针或产物展现。并参考其公开。也是 2006 年菲尔兹得从；正在他看来。方针一旦“处理”，IT之家 10 月 9 日动静，此次发布尚未完全达到该小组提出的尺度。且仅 10 份手稿附有模子推理链。常被称为“数学界的莫扎特”。发布者以至可能不脚以注释 AI 的输出、回覆问题或取范畴互动。OpenAI 暗示，不外发布后被指尚未完全达到“数学取人工智能参谋小组”（AGMAI）提出的尺度。陶哲轩强调，从息看，并催生后续问题、合做者和新的研究标的目的。最终会让整个数学范畴变得不如保守研究体例下那样肥饶。AGMAI 此前前沿 AI 尝试室遏制正在专有、无法拜候的模子上测试高难度数学问题，但据报道，也未供给将天然言语证明取形式化产品联系关系的机械可读元数据。问题一旦被公开“处理”，随后证明会被简化、注释、纳入教材，他这是一种不成持续的大规模“收割”：把问题当做可批量耗损的资本，成果呈现大量“无人能消化的证明”。正在人类可理解性方面，最终仍需由数学界评估相关能否获得充实施行。OpenAI 把纳维–斯托克斯方程等千禧年难题当做模子能力基准来霸占。他把这种情况称为数学界的“证明消化不良”：AI 能高速生成命题、证明和反例，