OpenAI 于 10 月 6 日最初在 GitHub 发布 722 份 AI 生成数学手稿总数，涉及 372 个结果族及多项开放研究问题。不过于 10 月 7 日因一处符号错误及其连锁影响撤回 3 份，现公开目录为 719 份。

　　OpenAI 发布的证明中约 42% 未经形式化处理，也未提供将自然语言证明与形式化产物关联的机器可读元数据。

　　AGMAI 同时

　　陶哲轩于 10 月 7 日在 mathstodon 上发布帖子，表示他并不反对 AI 做数学，甚至一直是 AI 辅助研究的积极使用者；

　　。他认为这会破坏数学共同体赖以运转的理解、教学、合作与开放探索机制。陶哲轩指出，传统数学中，一个长期猜想的突破并不只是“得到答案”：

　　他尤其担心的是，OpenAI 把纳维–斯托克斯方程等千禧年难题当作模型能力基准来攻克。在他看来，这把“解出多少题、多快解出”当成了衡量“理解与洞见”的指标；但速度和数量本身并不等于数学理解。

　　即使人们后来想寻找不同路径、从中提炼新方法，仅仅知道答案存在，也会“污染”这一探索过程。因此，他批评这是一种不可持续的大规模“收割”：把开放问题当作可批量消耗的资源，最终会让整个数学领域变得不如传统研究方式下那样肥沃。

　　注：陶哲轩是当代最负盛名的数学家之一、加州大学洛杉矶分校数学教授，也是 2006 年菲尔兹奖得主；常被称为“数学界的莫扎特”。

　　65岁老同学想跟我搭伙过日子，他每月9000退休金全归我支配，刚开始觉得有了依靠，3个月后我后悔了

　　江淮汽车再度跌停，两日市值蒸发118亿；懂车帝测试尊界V800主在B站、微博等多个平台已无法正常访问，懂车帝网页版也无法查找到该

　　性专家说：当一个异性开口跟你要钱，要礼物，不管对方是不是想试探你的真心，你都应该明白，你已被对方列入供养者行列