前沿 AI 实验室声称模型反驳指数时间假说，这代表了什么？
OpenAI 与 Anthropic 相继宣布其 AI 模型提出了求解特定逻辑难题的亚指数时间算法，声称反驳了计算机科学中长期存在的指数时间假说（ETH）。
推荐理由：文章梳理了前沿模型挑战计算复杂性假说对理论计算机与密码系统带来的潜在冲击，有助于评估 AI 介入纯科学研究的实际波及面。
#现象/趋势
#现象/趋势
今日 0 条TechCrunch · AI精选AI 评分8080
Quanta Magazine精选AI 评分7676 AI 证明准黎曼猜想之后会发生什么
OpenAI 在公布的 377 项成果中声称解决了黎曼猜想的弱化版本准黎曼猜想（quasi-Riemann hypothesis）。斯坦福大学学者 Jared Duker Lichtman 评价这是迄今 AI 在数学领域取得的最重大突破，文章探讨了这一进展对数学研究的后续影响。
推荐理由：文章梳理了 OpenAI 在数学猜想求解上的突破，有助于理解前沿 AI 介入纯数学研究的实际影响与后续演进方向。
Scientific American精选AI 评分7777 OpenAI 的 Navier-Stokes 方程解法并非此前认为的路径
数学界专家深入复核发现，OpenAI 公布的 166 页 Navier-Stokes 难题解法并未采用此前争议所指的西班牙方案，而是走出了一条截然不同的全新路径。
推荐理由：数学界复盘厘清了该项成果的技术路径分歧，揭示出大规模智能体集群在复杂推演中超出开发者自身理解的协作现状。