Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.
Nov 10
Anthropic sets IPO price range of $70 to $78 per share to reach an implied valuation of $1.404 trillion
The company could end up being worth a hefty $1.404 trillion if its shares list at the top of the price range, on a fully diluted basis.
Adobe is going all in on agentic AI
Adobe is committing itself to the notion that chatbots and AI agents could be your next design assistant, or even automate creative workflows and repetitive tasks on your behalf.
Adobe brings AI agents and new creative tools to Photoshop, Premiere, and Firefly
Adobe is taking on Figma with a new prototype builder tool in Firefly.
Opening the datasets behind our AI weather models
Foundational precipitation and geostationary satellite datasets to observe the planet clearly.
Exploring the world's languages with Language Explorer
Language Explorer, featured in an exhibition at the Museum of Communication in Berlin, Germany, lets you explore the world's linguistic diversity online through visualizations and data.
Claude Fable 5.2 and Mythos 5.2 cement Anthropic's AI lead just before its IPO
Anthropic is releasing Claude Fable 5.2 and Mythos 5.2, its most powerful models to date, in two versions: one freely available and one reserved for verified organizations. The models solve open physics problems, show stronger cybersecurity capabilities, design functioning operating systems, and write more than 90 percent of the changes merged into Anthropic's core code, according to the company.
The backlash about data centers might really just be about electricity
This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox first, sign up here. As voters went to the polls across the US last week, I was in Ashburn, Virginia, part of what’s known as Data Center Alley—the world’s largest data center hub.
Apple’s $50 Intelligence Usage Packs extend access to some AI features
After publishing a support article in early September outlining usage limits for some Apple Intelligence features, the company has updated Logic Pro with an option to "Buy More Usage" for a one-time purchase price of $49.99, as spotted by 9to5Mac.
Nov 9
Google ships four TPU variants in one year as it ramps up competition with Nvidia
Google is expanding its TPU 8 family with two specialized variants: the TPU 8tx keeps sensitive data encrypted even during processing, while the TPU 8i Max doubles compute power and memory by placing two chips on a single package. With nearly 100 external customers now on board, Google is increasingly positioning its in-house chips as an alternative to Nvidia's GPUs.
Nov 8
The brain-as-computer metaphor shaped modern AI but may be misleading the consciousness debate
Consciousness researchers Anil Seth, Ned Block, and Giulio Tononi argue in a Nature commentary that today's AI systems aren't conscious and won't become so on silicon hardware. They consider the assumption that consciousness depends on computation alone "fatally flawed" and warn against granting rights to AI systems.
AI auditors catch most agent misbehavior but flood reviewers with false alarms, new study finds
AI models can often spot problematic behavior by other AI agents in logs, according to a study by Anthropic researcher Andy Hall. GPT-5 found about 98 percent of reward-hacking cases, but the more exhaustively the search is tuned, the more false alarms pile up. That's not yet enough for reliable safety checks.
Nov 7
Google's AI detects high blood pressure from a regular smartwatch without a cuff
Google Research built an AI that spots signs of high blood pressure using only the pulse and motion sensors in a standard smartwatch, no cuff needed. In a 196-person study, its 65.8 percent detection rate beat the traditional in-office measurement. The method is already live in the Google Health app, though it doesn't replace a formal diagnosis.
[AINews] Anthropic IPO: Whither Now?
ARC Prize tests Inkling 2 Small, and Thinking Machines explains how it caught early checkpoints bypassing guardrails.
Crusoe sells troubled Wyoming data center project to Google
The deal highlights the challenges of developing massive AI data centers.
All the latest updates on AI data centers
Massive new data centers are the physical foundation for tech companies’ hopes and dreams for AI. But the rush to expand warehouses full of energy-hungry servers has also kicked up fights across the world over their impact on power grids, utility bills, nearby communities, and the environment.
Big Tech lost big in the 2026 election
On Tuesday, millions of American voters went to the polls and voted overwhelmingly for Democrats and against AI. The fight against Big Tech is about to come roaring back, and the fight over data centers is looking even harder for the folks trying to build them.
How a Blue Wave midterm might reshape the AI industry
Democrats’ historic victories in this week’s U.S. midterm elections could also transform the tech industry. The public voted on 41 data center-related ballot measures on Tuesday — in all but one, the majority voted to impose more restrictions on data center development.
Frontier Radar #5: If AGI is so close, why is everyone leaving? The neolabs and their bets
OpenAI is talking about the AGI era, and Nvidia CEO Jensen Huang says AGI has arrived. At the same time, co-creators of today's models are leaving OpenAI, Google DeepMind, and Meta to start their own labs, raising billions with no product to show. Why? They're betting that the current recipe alone won't be enough.
Nov 6
Controlling Biology - Fabian Theis, Helmholtz Munich
Fabian Theis has been one of the key players in the various iterations of the Virtual Cell concept and initiatives.
Google: Schools can keep search while skipping Gemini, but AI search is non-negotiable
Google is technically offering schools more choice but not the choices anyone wants.
Google's Gemini Omni 1.2 Flash stretches AI video clips to 15 seconds and cuts pricing by 30 percent
Google Deepmind is making Gemini Omni 1.2 Flash generally available. The video-generation model now creates clips up to 15 seconds long, can be edited step by step via conversation, and costs just $0.07 per second at 720p, 30 percent less than its predecessor. Users who draft in low resolution and upscale only the final result can save even more.
Gemini Omni 1.2 Flash: Fast and cost-effective with longer clips
Gemini Omni 1.2 Flash brings 15-second clips, stronger consistency, and faster, more cost-effective generation. Today, we’re rolling out Gemini Omni 1.2 Flash, and making it generally available across the Gemini API and Gemini for business.
Detecting signs of hypertension using wearable sensors
In a new study published in Nature, we present a multimodal artificial intelligence (AI) system capable of passively detecting signs of hypertension using a consumer smartwatch, without requiring any cuff calibration.
Nov 5
Apple slashes internal AI budgets, with deeper cuts still planned
Tech companies are cutting internal AI spending, and Apple is the latest to follow suit.
Anthropic reverses course and pays for news content for the first time
Anthropic signed its first licensing deal with a news publisher just ahead of the US midterm elections.
After midterm rout, OpenAI tries to win over communities it needs for AI expansion
OpenAI is responding to the clear vote by US voters against new data centers with voluntary commitments for future sites. The pledges only apply to facilities OpenAI operates itself, though, and a large share of its infrastructure is built by partners like Oracle. Voters rejected new data centers in 40 out of 41 local ballot measures.
Big Tech’s big AI buildout will not end until someone stops it
After four of the biggest competitors in the AI race held quarterly earnings calls late last month, two things are clear: Big Tech is not done spending record amounts on the AI data center buildout, and the AI data center buildout is not any closer to yielding its promised returns.
Gemini for Home now plugs into AT&T’s smart security system
AT&T's smart home security system now integrates with Gemini for Home. The company says its Connected Life system is the "first" home security product to integrate with Google Home Premium, enabling a bunch of Gemini-powered features that can summarize home events, search your video history, and more.
Agile Deliberation: How AI helps humans define the gray areas
Machine learning models learn to recognize the world around us from examples labeled by humans. Underlying this process is an assumption that the person doing the labeling has a clear and stable definition of the category in mind before they begin.
DuckDuckGo pitches itself to schools amid backlash over Google’s AI policy
DuckDuckGo is courting schools frustrated by Google's AI restrictions, pointing educators to its search engine and options to disable AI features.
GPT-6 Astra sees the matrix and reprograms other AI models directly through their weights
MIT researchers show that OpenAI's GPT-6 Astra can read and deliberately rewrite the weights of other AI models without traditional training. In one experiment, Astra boosted a Qwen model's math accuracy from 7.9 to 48.1 percent by changing just 0.016 percent of its weights. The approach could fundamentally simplify AI optimization but still hits clear limits.
Google faces backlash for plan that would turn off Search for schools that restrict AI
Politicians on the left, like NYC mayor Zohran Mamdani and former FTC chair Lina Khan, accused Google of acting as an unregulated monopoly.
Nov 4
Schools that turn off Google's AI will lose search too starting in 2027
Starting in 2027, Google plans to turn off AI features in its school products by default, letting schools decide what to enable. The catch: schools that block AI entirely on their devices will also lose access to Google Search, since the two systems are now too deeply intertwined to separate.
Google hasn’t figured out how to make AI pay like its search engine
Search queries are growing at their fastest rate in five years, Google parent Alphabet said in its earnings report last week. However, Google's Search revenue growth slowed to 12 percent year over year in the third quarter, down from roughly 17 percent in the previous quarter.
Please stop asking me when the AI bubble will pop
People, including on this staff, keep asking me with varying degrees of excitement or trepidation when the AI bubble will burst.
Google will let schools skip AI tools, but they have to give up search, too
Google will offer schools AI tools that purportedly don't give away the answers.
CWE-bench v2: More coverage, quality, and transparency
CWE-bench is designed to test the limits of frontier cyber capabilities. In our continued pursuit to push the horizon at Collinear AI, CWE-bench v2 opens up a public set of 100 tasks that anyone can run and evaluate their models on.
StateBench: Testing how language models track state changes over long documents
We’re introducing StateBench, a benchmark for long-context state tracking —how well language models keep track of information about entities in long documents as they evolve.
Agentic cheminformatics with Google Antigravity
Learn how Google Antigravity and our Cheminformatics Skills accelerate drug discovery workflows, search compounds, and propose novel rigidified macrocycles.