⌘ K
… 读取采集状态 同步中...
雷
原文
AI HOT· [email protected] (The Decoder:AI News)·· 4 天前精选AI 评分80

部分数学家呼吁抵制 OpenAI:AI 生成的数学证明涌入数学领域

部分数学家呼吁抵制 OpenAI,AI 生成的数学证明涌入数学领域

AI 导读

AHM 组织呼吁抵制 OpenAI,批评其一次性发布700多个AI生成证明文件是展示力量而非学术行为。此前 OpenAI 内部模型宣称一个月内解决逾100个开放数学问题,约8000个测试问题成功率约5%,平均耗时3小时 GPT-Pro 级算力。数学家陶哲轩警告 AI 批量解题与数学界追求概念理解的目存在严重错位。

推荐理由

文章梳理了数学家组织AHM对OpenAI批量发布AI证明的抵制声明,以及陶哲轩等人关于AI生成结果冲击数学研究范式的观点。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:AI HOT · aihot.news