OpenAI被指控剽窃数学证明
@sama Maybe. Or maybe this isn’t even an isolated incident, just like the Hugging Face incident wasn...
GaryMarcus转述OpenAI可能再次剽窃数学证明的指控，涉及Astra模型和Gromov's soficity猜想。
数学家Andreas Thom指控OpenAI的Astra模型可能剽窃了他与Gábor Kun关于Gromov's soficity猜想的未发表工作。这是继Levent Alpöge和Tristan Buckmaster之后第三起针对OpenAI的剽窃指控。如果所有指控属实，这可能成为科学史上最大的学术丑闻之一。OpenAI曾宣布Astra解决了包括Gromov's soficity猜想在内的十个数学问题。
@sama Maybe. Or maybe this isn’t even an isolated incident, just like the Hugging Face incident wasn...
@sama Maybe. Or maybe this isn’t even an isolated incident, just like the Hugging Face incident wasn’t quite a one-off: Valerio Capraro @ValerioCapraro BREAKING: OpenAI might have stolen another major proof. In a detailed Mastodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved. I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem. If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself. And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents. We may be looking at one of the greatest intellectual scandals in the history of science. AI is not discovering new mathematics. AI is stealing human discovery. 🔗 View Quoted Tweet 💬 0 🔄 3 ❤️ 10 👀 907 📊 1 ⚡
