Official announcement · OpenAI ·
OpenAI publishes new results on open problems in mathematics produced by an internal frontier model and shares Lean proof formalizations along with research details on GitHub.
OfficialOpenAI
OpenAI published an updated Model Spec that outlines five core values intended to guide the development of more capable AI toward sound judgment, human agency, and faithfulness to human intent.
OfficialOpenAI
Ropes & Gray is developing AI for transactional diligence in partnership with OpenAI. In this workflow, lawyers review grouped documents, summaries, and reports before advising their clients.
OfficialOpenAI
OpenAI and ServiceNow are expanding their partnership. OpenAI models and agents will be brought into ServiceNow, and ServiceNow workflows will be integrated into ChatGPT and Codex.
OfficialOpenAI
Legora is building an agentic operating system for legal work that uses OpenAI models, ChatGPT, and Codex to accelerate legal workflows, expand contract analysis, and free lawyers to focus on higher-value work.