https://openai.com/index/building-scientific-understanding-with-academic-communities/ ETH 猜想被证伪：已经证明 k-SAT 有次指数算法，证明是构造性的；ETH 猜想是复杂性理论中的核心猜想，同时和 P vs NP 问题有重要联系 证明任意维度局部平滑猜想和 Kakeya 猜想：任意维度的局部平滑猜想是调和分析四大猜想中最强的一个猜想，被证明蕴含四大猜想也被全部证明。 量子色动力学的存在以及标准模型的完备性：对…