
OpenAI publishes internal model math results and Lean proofs on GitHub
OpenAI shares new findings on open mathematical problems from an internal frontier model, releasing code and research details publicly.

OpenAI shares new findings on open mathematical problems from an internal frontier model, releasing code and research details publicly.

The trading firm combines automated AI workflows with human review to expand its quantitative research capabilities using OpenAI technology.

Atlassian and OpenAI are deepening their collaboration to connect advanced AI models with internal company data, enabling teams to plan and deliver work more efficiently.

Radisson Hotel Group has integrated its booking services into ChatGPT via a new plugin built with Accenture, enabling users to discover and reserve rooms directly within the AI interface.

OpenAI is introducing new educational tools for teenagers, including a college application planner and a dedicated youth advisory council.

OpenAI reports disrupting two coordinated campaigns that used synthetic journalists and a fake think tank to spread geopolitical messaging.

OpenAI confirms a collaboration with Pollo AI, enabling the platform to utilize GPT-5.6, GPT-6 Astra, and GPT-Image-2.5 for creative campaign production.

Oracle is integrating OpenAI’s ChatGPT and Codex into internal operations to convert days of specialist work into minutes across multiple departments.