近日，Axiom Math发布了有限单群分类定理（CFSG）的首个完整计算机检查证明，这是数学史上的一项重大里程碑。CFSG被公认为人类写过的最长数学证明，原始证明横跨约15000页、500多篇论文，由约100位数学家共同完成。A...

OpenAI宣布其内部AI系统完成了对纳维-斯托克斯存在性与光滑性问题的证明，这一难题已有约90年历史，并位列克雷数学研究所七大千禧年大奖难题。该模型的研究结论是，光滑的三维流体动力学可以发展出有限时间奇点，意...

近日，一项由OpenAI发布的研究引发了科学界与人工智能领域的广泛关注。根据一份新的预印本论文显示，其最新的大型语言模型GPT-5.2在理论物理学领域取得了一项原创性成果：它独立地提出了一个关于胶子散射振幅的新公...