#OpenAI宣布攻克千禧年难题#简单说,这是悬赏100万美金的世界级数学难题。OpenAI称靠上万AI协同,花88小时拿出完整证明,还做了形式化校验,也不打算领这笔奖金。
但这事还没板上钉钉,有数学家提出了不同看法,到底算不算真的解开,还得全世界数学家慢慢核验才行。[doge]
发布于 山东
#OpenAI宣布攻克千禧年难题#简单说,这是悬赏100万美金的世界级数学难题。OpenAI称靠上万AI协同,花88小时拿出完整证明,还做了形式化校验,也不打算领这笔奖金。
但这事还没板上钉钉,有数学家提出了不同看法,到底算不算真的解开,还得全世界数学家慢慢核验才行。[doge]