OpenAI宣布证明四维杨–米尔斯理论存在性，并证明所有维度局部光滑猜想。涉及OpenAI及数学界。