人工智能 陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗? OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
人工智能 谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题 谷歌 DeepMind 新框架 AlphaProof Nexus 将大模型证明生成与 Lean 验证结合,在开放数学问题上取得新进展。