That's not quite right - Levent and Buckmaster did not actually have the Millennium Prize qualifying NS solution but something more limited. OAI invited Buckmaster to join and help rewrite the full solution paper but did not feel it was appropriate to invite an Anthropic employee to join as well - particularly given they were using internal unreleased models.