OpenAI回应数学证明争议

Postscript (rather than as edit because X Edit function has not worked for me last few time I have t...

Postscript (rather than as edit because X Edit function has not worked for me last few time I have tried), in a separate quote tweet of their own tweet, OpenAI acknowledges the human mathematicians and alleges their results are different and independent. This should have been included in the main thread, and AFAIK is not consistent with Buckmaster’s report. OpenAI @OpenAI We congratulate Levent Alpöge and Tristan Buckmaster on their remarkable mathematical work. We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models. However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs. unforced). 🔗 View Quoted Tweet 💬 3 🔄 3 ❤️ 17 👀 2055 📊 4 ⚡