#AI证明

共 2 篇相关文章

OpenAI于10月6日宣布AI证明准黎曼假设，引发数学界震动；仅6天后，Cureton与Thorner在AI成果基础上将有限阶Hecke L函数的零点自由区域...

2026年10月18日人工智能 #OpenAI #AI证明

OpenAI最新内部模型在8月28日训练后，已解决超过100道世界级数学难题，包括纳维-斯托克斯千禧年大奖难题。这一突破让数学界陷入沉思：当机器能高效完成证明时...

2026年09月28日人工智能 #人工智能 #数学家