1 🤖 AI·大模型 IT 之家 2026-10-09 💬 陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？ IT之家 10 月 9 日消息，OpenAI 于 10 月公布 719 份 AI 数学解答，涵盖 372 个数学结果族，涉及数百项开放研究问题，不过发布后被指尚未完全达到“数学与人工智能顾问小组”（AGMAI）提出的标准。 IT之家此前报道，OpenAI 于 10 月 6 日最初在 GitHub 发… 陶哲轩质疑 公司 数学证明 人类真的理解 了吗