OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关

OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中数学部分给出欧氏波动方程局部光滑性的证明，并由此推出 Kakeya 极大与维数猜想及 Stein 球面限制估计；计算机科学部分则给出一个确定性算法，在次指数时间内精确计数固定宽度 CNF 公式的满足赋值，并据此否定 3-SAT 情形下的指数时间假设（ETH）。