首次！GPT-6 Astra破解「重大进展」级难题，数学家沦为提示词工具人

新智元报道就在刚刚，全球顶级 AI 数学基准测试 FrontierMath ，迎来里程碑时刻。一道自 2017 年以来悬而未决的「重大进展」级开放数学难题，被 GPT-6 Astra 联手三位人类研究员正式攻克！更离奇的是，这道题原本是悬赏人们去寻找一个「反例」，结果 GPT-6 Astra