DeepSeek will open source AGI if achieved