Artificial intelligence

Every day we read hundreds of stories. Only the most important ones are here — short, in our own words, with a link to the original source.

1. Artificial intelligence · Cybersecurity · Programming & dev tools

   AI agents verify Signal's encryption code

   Google DeepMind introduced AlphaProof Code, whose agents wrote three million lines of proofs in Lean. The system was used to verify Signal's core encryption.

   Full story at Google DeepMind ↗
2. Artificial intelligence · IT industry & companies · Enterprise software

   IBM and Microsoft launch AI agent platform

   IBM Consulting and Microsoft jointly unveiled a platform combining prebuilt AI agents with Microsoft's cloud and security technology. It targets industry-specific business transformation with support from both companies' engineers.

   Full story at news.microsoft.com ↗
3. Artificial intelligence · Smartphones & apps

   Google expands Gemini Intelligence to more devices

   Google is rolling out new Gemini Intelligence features to a wider range of devices. The expanded capabilities aim to let users do more directly through their devices.

   Full story at blog.google ↗
4. Artificial intelligence · Chips & hardware

   NVIDIA shows robots training in simulation

   At CoRL, NVIDIA and partners presented how robots rehearse delicate tasks within simulated environments. The approach aims to help robots learn more precise movements.

   Full story at NVIDIA ↗
5. Artificial intelligence · Chips & hardware · IT industry & companies

   Anthropic says AI helped it move from Nvidia to AMD chips

   Anthropic says its in-house model Mythos ported Claude to AMD GPUs in just three days, with almost no human intervention. Claude now runs on four chip families, and the company aims to cut costs and vendor dependencies.

   Full story at The Decoder ↗
6. Artificial intelligence · IT law & regulation · IT industry & companies

   US data brokers sell AI training data to Chinese labs

   A ChinaTalk investigation says firms like Mercor, Surge AI and AfterQuery sell roughly half a billion dollars of training data to Chinese labs. This includes RL environments earlier built for OpenAI or Anthropic, and export controls barely apply.

   Full story at The Decoder ↗
7. Artificial intelligence · Smartphones & apps

   Gemini is now available on Apple CarPlay

   Google says Gemini is now available on Apple CarPlay. The short post gives no further details.

   Full story at blog.google ↗
8. Chips & hardware · IT industry & companies · Artificial intelligence

   TSMC board approves investments in OpenAI and Anthropic

   TSMC's board approved investing up to $1 billion in AI firms, with up to $500 million of shares in each of OpenAI and Anthropic. It also authorized up to $500 million for a company to invest in semiconductor businesses.

   Full story at MacRumors ↗
9. Artificial intelligence · Cybersecurity · Programming & dev tools

   AlphaProof Code verifies Signal's crypto core in four weeks

   Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core in four weeks, which typically takes years. Agents powered by Gemini Carbon wrote over six million lines of proof code, with about one percent flagged for human review.

   Full story at The Decoder ↗
10. Artificial intelligence · New AI models

    DeepMind presents AlphaGenome 2

    Google DeepMind presents AlphaGenome 2, which predicts how DNA sequences and their variations affect specific human cell types and disease. The aim is to better understand disease.

    Full story at Google DeepMind ↗

An AI writes the short texts from the source's stories.