聚合全网大模型、产业动态、研究前沿资讯，每小时刷新。点击任一标签或分类可进一步筛选。
美国当地时间10月9日，陶哲轩转发托马斯·黑尔斯的文章，讨论Lean定理证明器可靠性与人工智能问题。此前OpenAI于10月6日发布722篇模型生成数学手稿并在一天后撤回3篇，引发数学界对AI证明可靠性、Lean健全性漏洞及人类审核能力的担忧。
