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

数学证明是否是人类压制人工智能的最后一道防线引发讨论。内容涉及AI能力边界。涉及人工智能与数学领域。

OpenAI宣称用约1万个AI智能体经88小时解决了纳维-斯托克斯方程存在性与光滑性难题。该问题为克雷研究所千禧年大奖难题之一，数学界尚未认定成果。