Tracking the history of the now-deceased OpenAI Microsoft AGI clause