OpenAI发布量子色动力学形式化证明

发生了什么

据Scientific American报道，OpenAI利用其内部大模型完成了量子色动力学的形式化证明。该成果领先于数学家Levent Alpöge与Ethan Sussman此前公开的研究进展。报道指出，该模型通过处理大量数值计算，完成了人类难以坚持的数学证明工作。此前，OpenAI曾于9月8日宣布解决欧拉方程相关问题。