★ 4
前沿 AI 实验室称模型证伪指数时间假说，MIT 学者解读
TechCrunch 采访 MIT 计算机科学家，解读前沿AI实验室宣称其模型证伪计算复杂性理论中的指数时间假说（ETH）一事。报道探讨该说法在理论计算机科学上的含义与可信度，引发对AI能否做出真正数学突破的讨论。
TechCrunch AI5 天前
#计算复杂性
共 5 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 4
OpenAI 称其 AI 在 Lean 中证伪指数时间假设
有报道称 OpenAI 的 AI 系统在 Lean 证明助手中给出了指数时间假设（ETH）的反证，若成立将是计算复杂性理论的重大突破。该说法目前仅见于单一来源，尚待数学界与形式化验证社区核实。
Hacker News – AI5 天前
★ 3
AI 辩论的实例最优协议
论文针对 AI 辩论监督机制提出新协议，用于把复杂问题分解为可直接判断的子命题。相比此前工作，新协议在最坏情况下仍保证正确性，且「诚实且正确」成为双方的占优策略均衡而非 Stackelberg 均衡。作者进一步证明黑盒下界，说明该协议在仅依赖人类黑盒判断时是实例最优的。
arXiv cs.AI28 天前
★ 2
研究提出 Agentic AI 验证与自我改进的理论框架与边界
论文通过带隐藏终端随机性的有界验证比较智能体自我改进机制，证明独立多数放大可保持语言类，而随机磁带上的存在性接受可能引入错误输出。研究还分析递归自我改进在固定验证协议下仍属同一验证类，并给出条件误差预算控制错误选择。
arXiv cs.AI24 天前
★ 1
计算复杂性博客谈 AI 与数学的文档投递现象
计算复杂性理论博客发表非技术性随笔，讨论 AI 在数学研究中的角色以及「文档投递」式投稿现象对学术评审的影响。文章从数学社区视角反思 AI 生成内容带来的评价与信任问题。
Hacker News – AI13 天前
这个主题的相关资产
相关公司OpenAI3