Google DeepMind's automated math proofs clear peer review in Science
Formally verified solutions to problems that stayed open for decades, published at a few hundred dollars per problem, show automated proof arriving as real mathematical work.
Tech stories and the sources behind them.
267 stories
Newest first
Monday
Formally verified solutions to problems that stayed open for decades, published at a few hundred dollars per problem, show automated proof arriving as real mathematical work.
A team co-founded by the video model's original research lead offers OpenAI a path to recoup its investment after shelving the technology.
Sunday
The exchange got better fraud detection at lower cost from a small open-weight model on proprietary data, a pattern more enterprises can copy.
Census-based adoption figures this far below the 2023 forecasts force a reckoning between hype-era predictions and how slowly technology actually diffuses through the economy
Longer default memory means fewer mid-task resets for long coding and agent runs, and a user poll on trading rate limits for performance shows how tightly context and pricing now,
An independent lab shipping a full agent stack outside the frontier labs gives developers a serious alternative and a new distribution path for agent skills.
A live stress test of how far consumer companies will push customers before removing human support becomes a churn risk
Builders are converging on proprietary data, distribution, and network effects as what stays durable once code can be cloned.
HarperCollins, Simon & Schuster, and Hachette folding AI into everyday publishing workflows signals the technology moving into the core commercial machinery of books.
Working access credentials sitting in terabytes of purchasable chat logs show how engineers leak corporate secrets through unvetted third-party resellers.
HarperCollins, Simon & Schuster, and Hachette folding AI into everyday publishing workflows signals the technology reaching routine white-collar work.
The case tests whether vendors can pipe nonpublic sales data through AI tools to franchisees competing in the same market.
Showing 49 to 60 of 267 stories