刚刚，OpenAI宣布一口气解决数学物理计算机三大世纪科学悬案且全部完成形式化验证