https://openai.com/index/building-scientific-understanding-with-academic-communities/ 

ETH 猜想被证伪：已经证明 k-SAT 有次指数算法，证明是构造性的；ETH 猜想是复杂性理论中的核心猜想，同时和 P vs NP 问题有重要联系
证明任意维度局部平滑猜想和 Kakeya 猜想：任意维度的局部平滑猜想是调和分析四大猜想中最强的一个猜想，被证明蕴含四大猜想也被全部证明。
量子色动力学的存在以及标准模型的完备性：对某些包含四维规范场和费米子的相互作用量子场论（包括量子色动力学 (QCD) 和粒子物理标准模型的统一完备化）的存在性给出了数学上严格的证明。