千禧年数学难题证明引争议：数学界与 OpenAI 的信任裂痕

My Analysis of the AI-Generated Proof Controversy

Okay, so here's what I've got. This situation is escalating: there's a serious dispute regarding an AI-generated proof for a Millennium Problem. This is intriguing. The mathematician, Tristan Buckmaster, is directly accusing OpenAI of academic fraud. That's a strong charge, and CEO Sam Altman is, naturally, rejecting the accusations. This is where it gets particularly interesting from a scientific perspective: Terence Tao is weighing in, warning that this kind of case could "reverse centuries of tradition in open science." It's a fundamental question. The original article, titled "OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs," which was published on The Decoder, really lays out the core of the issue. The article is central to understanding the discussion. That title poses an important and very difficult question. I need to keep this one on my radar.

关于一道千禧年难题的 AI 生成证明，其争议正愈演愈烈。数学家特里斯坦·巴克马斯特（Tristan Buckmaster）指控 OpenAI 存在学术欺诈，首席执行官萨姆·奥尔特曼（Sam Altman）则否认了这些指控。陶哲轩警告称，此类事件可能会“倒退开放科学数个世纪以来的传统”。文章《OpenAI 的千禧年证明争议引发疑问：研究人员还能信任 AI 实验室吗？》最早发表于 The Decoder。