AICSO.AI汇总·· 3 天前精选推荐指数77
OpenAI 与 Anthropic 同日发布推翻指数时间假设的证明引发争议
OpenAI 与 Anthropic 的对垒式证明令科学家震惊
AI 导读
OpenAI 发布三项AI生成的数学证明，分别解决任意维度的 Kakeya 猜想、声称证明 Yang-Mills 理论的“存在性”部分，以及给出比指数时间略快的 3-SAT 算法从而推翻指数时间假设（ETH）。
推荐理由
文章梳理了OpenAI三项AI生成数学证明引发的争议，读者可据此了解AI产出科研成果与现有同行评议流程之间的张力。
来源：AICSO.AI汇总 · scientificamerican.com