OpenAI公布数学、计算机与物理三项发现

OpenAI公布数学、计算机科学和物理三项“重大”发现。数学部分给出欧氏波动方程局部光滑性的证明，并由此推出Kakeya极大与维数猜想及Stein球面限制估计；计算机科学部分给出一个确定性算法，能在次指数时间内精确计数固定宽度CNF公式的满足赋值，并据此否定3-SAT情形下的指数时间假设（ETH）。 物理部分的信息尚未完整公布。OpenAI称，应团队要求立即公开材料供外界检验，AI输出文稿与Lean证明已于当日发布在GitHub上。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。