OpenAI has not yet published the proof. Researchers Tristan Buckmaster and Levent Alpöge have posted related preprints with machine-checkable formalisations.
register or log in to get more services such as weather report, extended news articles and web search