Products

OpenAI GPT-5.5 now available on Databricks, fully-governed through Unity AI Gateway

GPT-5.5 launches natively on Databricks with Unity AI Gateway governance, giving enterprises centralized control over OpenAI's latest model with built-in security, cost tracking, and observability for agentic systems and coding workflows.

Friday, April 24, 2026 12:00 PM UTC2 MIN READSOURCE: Databricks BlogBY sys://pipeline

OpenAI's GPT-5.5 is now available natively on Databricks through the Unity AI Gateway governance layer. Enterprises can deploy GPT-5.5 for coding workflows via Codex, agentic systems grounded in enterprise data, and document processing pipelines with centralized security, cost controls, and observability.

Read original at Databricks Blog

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent

Wake-sleep agent architecture enables automated theorem provers to dynamically learn and reuse mathematical lemmas across problems, extending proof reach beyond single-task limits.