Tech

DeepMind’s latest: An AI for handling mathematical proofs

AlphaProof can handle math challenges but needs a bit of help right now.

“We’re in an LLM bubble,” Hugging Face CEO says—but not an AI one

The risks of AI investment in manufacturing and other areas are less clear.

Microsoft tries to head off the “novel security risks” of Windows 11 AI agents

Agents with read/write access to your files create big security, privacy issues.

Forget AGI—Sam Altman celebrates ChatGPT finally following em dash formatting rules

Ongoing struggles with AI model instruction-following show that true human-level AI still a ways off.

Google is rolling out conversational shopping—and ads—in AI Mode search

Conversational shopping is Google’s first big swing at monetizing AI Mode search.

Google announces even more AI in Photos app, powered by Nano Banana

Google’s Nano Banana is powering a raft of new features in the app.