How can an AI system prove complex olympiad level math problems in clear natural language while also checking that its own reasoning is actually correct? DeepSeek AI has released DeepSeekMath-V2, an open weights large language model that is optimized for natural language theorem proving with self verification. The model is built on DeepSeek-V3.2-Exp-Base, runs as […]
AI applications rarely deal with one clean table. They mix user profiles, chat logs, JSON metadata, embeddings, and sometimes spatial data. Most teams answer this with a patchwork of an OLTP database, a vector store, and a search engine. OceanBase released seekdb, an open source AI focused database (under the Apache 2.0 license). seekdb is
Welcome back to The State of AI, a new collaboration between the Financial Times and MIT Technology Review. Every Monday for the next two weeks, writers from both publications will debate one aspect of the generative AI revolution reshaping global power. This week, Richard Waters, FT columnist and former West Coast editor, talks with MIT
The State of AI: Welcome to the economic singularity Read More »
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. The State of AI: Welcome to the economic singularity —David Rotman and Richard Waters Any far-reaching new technology is always uneven in its adoption, but few have been more uneven than generative AI.
The Download: AI’s impact on the economy, and DeepSeek strikes again Read More »
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. An AI model trained on prison phone calls now looks for planned crimes in those calls A US telecom company trained an AI model on years of inmates’ phone and video calls and
A US telecom company trained an AI model on years of inmates’ phone and video calls and is now piloting that model to scan their calls, texts, and emails in the hope of predicting and preventing crimes. Securus Technologies president Kevin Elder told MIT Technology Review that the company began building its AI tools in
An AI model trained on prison phone calls now looks for planned crimes in those calls Read More »
We have some exciting news: Nominations are now open for MIT Technology Review’s 2026 Innovators Under 35 competition. This annual list recognizes 35 of the world’s best young scientists and inventors, and our newsroom has produced it for more than two decades. It’s free to nominate yourself or someone you know, and it only takes
Nominations are now open for our global 2026 Innovators Under 35 competition Read More »
MIT Technology Review Explains: Let our writers untangle the complex, messy world of technology to help you understand what’s coming next. You can read more from the series here. Weight-loss drugs have been back in the news this week. First, we heard that Eli Lilly, the company behind the drugs Mounjaro and Zepbound, became the first healthcare
What we still don’t know about weight-loss drugs Read More »
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. What we still don’t know about weight-loss drugs Weight-loss drugs have been back in the news this week. First, we heard that Eli Lilly, the company behind Mounjaro and Zepbound, became the first
If we didn’t have pictures and videos, I almost wouldn’t believe the imagery that came out of this year’s UN climate talks. Over the past few weeks in Belem, Brazil, attendees dealt with oppressive heat and flooding, and at one point a literal fire broke out, delaying negotiations. The symbolism was almost too much to
This year’s UN climate talks avoided fossil fuels, again Read More »
