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

OpenAI 公布三项由其模型产出的重大发现，分别涉及数学、计算机科学和物理。数学方面给出欧几里得波动方程局部光滑猜想的证明，并称由此解决 Kakeya 猜想与 Stein 限制猜想；计算机科学方面给出 Subexponential（次指数）时间精确计数固定宽度 CNF 公式满足赋值的确定性算法，并称 3-SAT 情形否定了指数时间假说 ETH。