
DeepMind AlphaProof Code verified Signal's crypto core in four weeks
Gemini Carbon agents wrote over six million Lean lines and sent about one percent of the code to human review.
245 stories, newest first · one card per story

Gemini Carbon agents wrote over six million Lean lines and sent about one percent of the code to human review.

One request can score up to 1,000 closed-set questions for $0.10 per million input tokens, with output tokens free.
The company says annualized revenue reached $3 billion and it has 5 million experts.

Introductory pricing matches Gemini 4 Argon at $2 per million input tokens and $10 per million output tokens.

Motorola’s signature 27 opens for US pre-order on November 19, while task automation reaches the UK, India, and Japan.

Planned links include Acrobat from Drive and Gmail, Gemini connectors, and a DeepMind image model explored for Photoshop.

Partners include HCA Healthcare, Highmark Health, and Northwell Health; workflows cover records synthesis and prior authorization.
The feed is only a Hacker News title; it includes no method, scope or Google response.
PySyft and an NVIDIA H100 enclave on Google Cloud ran private AILuminate prompts against the model.

Gemini exposed rejected images via download links after safety filter refusal.
Authors report an agentic attacker can make models obey tool-output instructions despite strong public benchmark scores.
Agents built on n8n and Gemini pass results layer by layer; authors tested 16 cases and call the findings promising.

The video model is generally available on the Gemini API at $0.07 per second of 720p, 30% below Omni 1.1.

Schools can disable Gemini apps while keeping search active or turn off all AI products after educator backlash over the new opt-in policy.

Bloomberg says further cuts could reach $100 a day, or $25 for some non-technical teams, with exceptions available.

New sandbox and VM isolation options let businesses verify CodeMender vulnerabilities while centralizing agent credentials via Auth Manager and Agent Identity JWT.

AT&T Connected Life now supports Gemini features like event summaries and natural language video search on its $29.99/month plan.

Schools using Google K-12 tools cannot access Search without opting into AI like Gemini, prompting accusations of extortion from politicians.
Gemini app activity trains generative AI models; users cannot opt out without disabling activity, losing chats after 72 hours.

Schools must enable AI search features or lose Google Search access starting in 2027.

Schools rejecting AI must lose Search access entirely; no separate Gemini toggle available.
Schools that block AI lose Google Search, because Google says search and AI features are now inseparable.

Search starts as a U.S. school pilot; Classroom is global today; Gemini and Search stay off until admins opt in.

iPhone revenue hit $57.6 billion and Mac sales rose 24%, while Apple spent $2.2 billion on capital expenditures last quarter.
Today 1.5K readers · 2.4K views · 753 reads · all time 189K views