#计算复杂性

全部资讯模型
清除条件
共 1 条
The Verge AI2 天前模型论文研究海外

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

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

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