数学家 Tristan Buckmaster 谈被卷入 OpenAI 与 Anthropic 之争；OpenAI 称在另一千禧年大奖难题上取得进展

纽约时报 Kenneth Chang 采访数学家 Tristan Buckmaster，讲述他在接近一个重要证明时，被一家 AI 巨头以庞大资源抢先完成。报道同时提到 OpenAI 声称在另一个千禧年大奖难题上取得进展，但摘要未提供证明细节或验证情况。

AI推荐理由 NYT 记者 Kenneth Chang 对数学家 Tristan Buckmaster 的采访，涉及 OpenAI 与 Anthropic 在数学证明上的竞争，以及 OpenAI 声称在另一个千禧年大奖难题上取得进展。具体新信息是研究者被 AI 公司资源抢先的个案，以及 OpenAI 的进展声明；但摘要未给出证明细节、验证状态或 OpenAI 声明的原文，'取得进展'仍属未确认主张，需保留不确定性。