数学难题

OpenAI称攻克300多道人类未解数学题

OpenAI在GitHub发布700多篇数学手稿，声称其内部模型解决了包括代数、逻辑、几何和概率在内的300多个此前无法攻克的数学难题。此举引发全球数学界争议，部分学者认为这是根本性变革，但也有人质疑其验证方式、指责其傲慢或存在剽窃可能。此前，该公司曾声称证明了纳维—斯托克斯方程的存在性与光滑性问题。