Openai SOL

人工智能数学家正在超越人类数学家的反例发现能力

在2026年5月至7月的短短三个月间，多个大型语言模型在数学领域取得了突破性进展，通过发现反例推翻了多个困扰数学界多年的重大猜想。