OpenAI 最新动态:Sol Ultra 证明 50 年数学猜想,Codex 周活跃用户超600万,安全负责人离职-ChooseAI工具导航