AI

Models, agents and the practical limits of artificial intelligence.

Illustration of a checked proof page, a cube with one highlighted corner and a sphere with an arrow, standing for a machine-checked proof about quantum computing.

ai · Nov 8

PSI Says AI Found a Proof of the Aaronson-Ambainis Conjecture

PSI says its system, running a non-public Anthropic model, proved a 2008 quantum conjecture that Lean then checked.

Illustration of a browser window with one highlighted suspicious line, a filter funnel, and a cursor blocked by an orange cross before it clicks a button

ai · Nov 3

Perplexity's BrowseSafe++ Tests Browser Agent Defenses

Perplexity's new benchmark draws on 1.15 million injections its Comet agent flagged, plus two small detectors.

A password vault passes a masked login to a sign-in form, while an AI assistant bubble beside it has its eye crossed out.

ai · Oct 23

1Password for Agents Lets AI Agents Sign In Without Your Password

1Password for Agents lets an AI agent use a login you approve, while the password itself stays hidden from the agent.

A phone search list with some music tracks filtered out, beside an orange toggle switched on that sets a crossed-out AI sparkle against a music note

ai · Oct 15

Deezer AI Music Toggle Will Hide Fully AI-Generated Tracks

Deezer says a new setting will remove fully AI-generated music from search, globally before the end of 2026.

A checklist with ticked items beside an AI assistant under a magnifying glass, illustrating regulatory review of AI developers.

ai · Oct 10

ICO: 10 AI Developers Make Data Protection Changes

The UK regulator names ten AI developers that made or promised privacy changes and opens a review of AI agents.

ai · Sep 24

Google’s Gemini 3.8 Speech Models Add Voice Design and Scene Controls

Google's September 23 release adds voice design and scene controls, with limits on voice replication.

Conceptual illustration of three differently sized AI keycaps

ai · Sep 23

OpenAI Adds GPT-6 Sol and Luna With Lower API Prices

OpenAI's September 22 release adds two lower-cost models and changes to prompt caching.

AI news on Next F9 covers model releases, API pricing and new capabilities, each dated to the original announcement and linked to the company’s own source. Recent stories cover OpenAI’s GPT-6 Sol and Luna models, which arrived with lower API prices, and Google’s Gemini 3.8 text-to-speech models, which add voice design and scene controls. For how these systems work and what they do with your data, read AI explained or visit the AI desk.