OpenAI 成立了一个“数学与人工智能咨询小组”，负责监督新兴数学成果的审查与发布，其中包括近期对纳维-斯托克斯千禧年大奖难题以及其他 100 多项长期数学挑战的破解。 这一公告在 Hacker News 上引发了激烈争论。怀疑者认为该咨询小组可能只是噱头，或是为了控制舆论导向而非解决实质性问题的官僚“瓶颈”。争论的一个焦点在于 OpenAI 明确声明，该小组不会影响公司内部数学研究的进展速度。 许多评论者对作为人类技艺的数学的未来表示存在主义担忧。批评者担心，人工智能生成的证明虽然在技术上是正确的，但可能缺乏该领域所必需的“概念性理解”。一些人认为，数学正在被视为一种“编译器目标”，而非对人类洞察力的追求，并担心大规模快速生产真理可能会侵蚀这一学科。总体而言，这次讨论反映出人们对于人类智力劳动被取代以及人工智能驱动的研究在不透明、加速发展下的深层不安。