AlphaProof Code verifies Signal code, not every security claim
Google DeepMind used AI agents and Lean to verify specified Signal code properties. Here is what the proof covers, what it assumes and why the limits matter.
Gemini
Google Gemini news covering AI models, tools, robotics, product updates, and research, with context on access, capabilities, and evaluation claims.
Gemini Robotics 2.5 rolls out to partners, not a public API
Google is rolling out Gemini Robotics 2.5 to partners. Here is what its factory results mean and how access differs from Robotics ER 2.
Gemini Notebook Enterprise changes URLs: dates and access checks
Google changes enterprise notebook addresses in November. Check entry links, identity routes and network rules.
Gemini Embedding 2 preview retires without a vector rebuild
Google now routes Gemini Embedding 2 Preview to the stable model. Check which migration preserves existing vectors and which still requires embedding data again.
Gemini Omni 1.2 Flash launches with 15-second video and lower prices
Gemini Omni 1.2 Flash adds 15-second generation and lower video output prices. Check reference limits, regional restrictions and the December 3 transition.
Gemini voice remixing turns existing voices into new personas
Google adds voice remixing to Gemini 3.8 TTS. Here is how base voices, paid access, independent voice IDs, expiry and synthesis prices fit together.
Gemini API adds Office files and richer tool responses
Google expands Office and OpenDocument input on November 5. The key limits are how layouts, spreadsheet sheets and file references reach the model.
Gemini 2.5 Pro and Flash migration: what changes December 1
A practical guide to replacement models, request compatibility and token costs.
Gemini API CLI gives coding agents a separate route to Gemini models
A practical guide to choosing the right Gemini command-line tool.
Gemini API request storage: what changed for new paid projects
Google changed new paid Gemini API projects on October 26. Check project defaults, request overrides, SDK support and log retention before deployment.
Gemini TTS migration: request and audio changes to check
A practical migration review for speech applications, separating API compatibility, playback checks and future operating costs.
Gemini API Computer Use reaches GA across two APIs
Google made Computer Use generally available across Interactions and GenerateContent. Client-side execution, supported models and safety checks still matter.
Gemini adds avatar sharing, but revoking access does not erase old creations
Google announced avatar sharing on October 29. Here are the account requirements, recipient controls and the important limit on revocation.
Gemini Notebook adds free textbooks, with a text-only limit
Google adds a free textbook catalog to Gemini Notebook. Here is where to find it, how purchased ebooks differ, and what to check before studying.
Gemini adds in-chat file editing, including PDFs on mobile
Gemini now previews and edits files inside chats. PDF editing reaches mobile, while other announced formats remain web-only.
Google Connected Apps preview brings MCP services to Search and Gemini
Google opens phased access to a platform for Search and Gemini integrations. Compare remote MCP with Android AppFunctions and check the review requirements.
XREAL AURA opens orders, with Gemini and a wired compute puck
Android XR glasses start at $1,099, but orders and delivery are different milestones. Here are the hardware and rollout limits.
Gemini 4 Carbon is available: paid API access, Ultra rollout and pricing
Gemini 4 Carbon reaches paid API customers and rolls out to Ultra subscribers. See the November 30 pricing deadline and historical benchmark caveats.
Nine AI video models take on the same Verity horror prompt
One bedroom prompt exposes different strengths in nine AI video outputs, from timed entrances and dialogue to frightening faces and drifting props.
Google VERID adds physical checks for laboratory AI agents
Google’s VERID research puts persistent laboratory state and simulation between AI agents and physical equipment, with human oversight still central.
Google announces an Argon and Gemini reset in Antigravity
Google announced an Antigravity allowance reset on October 16. Here is how to check separate model quotas and understand what the reset changes.
Gemini 4 Argon reaches paid Pro users in Antigravity
Paid Google AI Pro subscribers gain Argon in supported Antigravity apps with a separate weekly allowance. Trial eligibility and product differences still matter.
Nano Banana 3 Pro rumor points to a new Google image model
A reported Gempix 3 Pro reference hints at another Google image model. Its final identity and release timing remain unconfirmed.
Gemini 4 Argon comes to Freebuff with daily promotional access
Freebuff now lists Gemini 4 Argon with one promotional session a day. Here is how the allowance works, who gets free access and how to test it.