Daily AI Briefing — July 10, 2026

At the AtCoder World Tour Finals 2026 exhibition, an OpenAI system solved all five Algorithm Division problems and beat every human competitor, including two problems observers rated exceptionally hard. It marks another milestone in AI competitive programming.

Building on yesterday's Social announcement of the GPT-5.6 launch, OpenAI publicly released GPT-5.6 after a delay in which the White House had asked it to limit access to government-approved users over cybersecurity concerns, mirroring restrictions placed on Anthropic. Wider release followed additional government testing via the Center for AI Standards and Innovation.

News organizations led by the New York Times filed a sanctions motion accusing OpenAI of concealing evidence and misrepresenting its ability to search training logs in the copyright dispute. The contested logs could show whether users used ChatGPT to bypass paywalls, making them pivotal to both sides.

OpenAI launched ChatGPT Work, an agent designed to stay with complex, multi-hour projects and turn a stated goal into finished deliverables across apps and files. It positions the tool as fixing earlier agent-mode limitations where automated tasks would stall after a few minutes.

Databricks benchmarked coding agents on its own multi-million-line codebase and found the Chinese open-source model GLM 5.2 matched Anthropic's Opus 4.8 at lower cost, planning to adopt it as a daily coding workhorse. Its takeaway is that no single provider dominates and firms should build their own benchmarks.

Provides the first provably efficient learning algorithms for repeated online assistance games between an informed human and an uninformed assistant, introducing assistance regret and decentralized algorithms achieving a (1-1/e)-approximation. It formalizes cooperative human-AI interaction where the assistant only observes human actions.

A position paper arguing that LLM-driven formal mathematics must shift from predefined problem solvers toward research agents capable of open-ended theorem discovery and resolving conjectures with rigorous formal reasoning. The author list notably includes Terence Tao alongside strong ML and math researchers.

This safety paper simulates deployment by holding fixed the prefixes of de-identified conversations from a prior model deployment and regenerating responses from a candidate model, enabling audits for novel misalignment and estimation of misbehavior prevalence before release. It offers a more representative pre-deployment safety evaluation than typical recognizable tests.

This paper proposes measuring intelligence beyond human capability via relative rather than absolute evaluation, where models generate public challenges that separate other systems into an adversarial psychometric rating. It describes protocols that reduce private-information attacks and support judge-free adjudication that scales with agent capabilities.

Proposes gradient-routed auxiliary modules (GRAM), a pretraining method that adds modules updated selectively to induce capability specialization so that ablating a module at inference removes that capability, approximating a separately trained model. It targets the dual-use dilemma by enabling access control without training and deploying multiple full models.

Following the GPT-5.6 launch we covered yesterday, Simon Willison shares detailed notes on GPT-5.6, highlighting new API features like programmatic tool calling and multi-agent support, plus pelican tests across six reasoning levels and three new models.

LeCun argues the biggest AI risk is power concentration among a few proprietary providers, and that open-source foundation models are the only path to AI sovereignty.

Perplexity releases a research preview of a new orchestrator model in Perplexity Computer, an adapted GLM 5.2 post-trained for its harness, claiming near-frontier performance at about 0.344x of Opus cost.

Ethan Mollick argues that as AI labs move from coding tools to general knowledge work, non-coders need more control and visibility rather than stripped-down interfaces.