#计算复杂性

全部资讯模型
清除条件
共 2 条
TechCrunch AI1 天前资讯论文研究海外

OpenAI 称模型推翻 ETH 假设,Anthropic 数小时后发布反驳

OpenAI 发布三个数学难题的解答,其中一项否定了计算机科学长期假设「指数时间假设」(ETH)。Anthropic 数学家 Levent Alpöge 质疑 OpenAI 的解答基于已有工作,Anthropic 随后也发布了对 ETH 的反驳。OpenAI 这次按学科分别处理发布:数学界直接放上 GitHub,计算机科学家组成工作组要求公开证明并由 OpenAI 资助会议讨论,物理学家组成工作组决定结果如何发布。MIT 教授 Ryan Williams 与 ETH 原作者 Russell Impagliazzo、…

推荐理由ETH 是密码学与复杂性理论的底层假设,这次争议涉及 AI 证明的可信度与学术规范,值得跟进后续验证结果。

The Verge AI2 天前模型论文研究海外

OpenAI 宣布三项科学发现,并引入外部专家审核

OpenAI 公布数学、计算机科学、物理三个领域的「重大」发现,并首次引入外部专家「shepherd」把关。数学方面发布「欧氏波动方程的局部光滑性」证明,直接公开模型输出;计算机科学方面声称证明「指数时间假设(ETH)为假」,给出固定宽度 CNF 公式满足赋值计数的次指数时间确定性算法,3-SAT 情形即推翻 ETH,由 Russell Impagliazzo、Ramamohan Paturi、Ryan Williams 组成独立小组审阅;物理方面称得到含规范场与费米子的四维相互作用量子场论(含 QCD 与标准模型…

推荐理由ETH 被推翻若成立将改写计算复杂性理论,可关注 Impagliazzo 等原提出者的审阅结论。