OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs Matthias Bastian View the LinkedIn Profile of Matthias Bastian Sep 9, 2026 Key Points In the dispute over AI-generated evidence for a mathematical Millennium Problem, researcher Tristan Buckmaster accuses OpenAI of using his drafts, pressuring him, and rejecting his co-author Levent Alpöge—who is employed by Anthropic—as an author. OpenAI CEO Sam Altman and resea