OpenAI公布调和分析四大猜想的证明。相关证明的突破点引发讨论。涉及OpenAI与数学研究者。