次日驳回！数学家推翻OpenAI攻破的猜想

OpenAI近期宣称其下一代AI模型攻克了10个世界级数学难题，其中包括推翻了Connes刚性猜想。该猜想由Connes于1980年左右提出，断言满足ICC和Kazhdan性质 T 的群如果代数结构相同则群必然同构。OpenAI模型通过构造两个不同构的群并验证其满足这两个条件来提出反例，全部证明写为37000行Lea…

返回 AI资讯