进展
据 Scientific American 报道，OpenAI 此前宣布其 AI 生成了一份关于量子杨-米尔斯理论「存在性」的证明——这是克雷千禧年七大数学难题之一，也是描述强相互作用力（将原子核结合在一起的基本力）的数学基础。
验证过程
OpenAI 此前为该结果指定了一组专家「牧羊人（Shepherds）」负责独立审核。最新消息是，这个专家团队已完成验证并公开了这份 AI 生成的证明，确认其验证了量子杨-米尔斯理论存在性这一基石假设。
OpenAI 表示正通过与学术社区合作的方式构建对模型科学结果的理解，此前也公开过关于 Kakeya 猜想、指数时间假说与量子色动力学的模型结果与验证流程。