Wired
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Do the same for “all the software of the world.
The Decoder
Meta is introducing Muse Ember, its smallest and most efficient AI model, optimized for repetitive agent tasks such as tool calls, routing, and data extraction. According to Meta, it delivers more intelligence per dollar than Claude Haiku 5.5 or GPT-6 Luna.
TechCrunch
Anthropic says the new models "show improvements in areas like coding, reasoning, and vision," as well as in communicating more clearly with users. Anthropic released new versions of its most advanced models on Monday, with the launch of Mythos 5.2 and Fable 5.2.
The Verge
Anthropic is announcing two new models today: Claude Fable 5.2 and Claude Mythos 5.2, which it says are designed to take on "daunting" technical challenges. The company claims the new models show improvements in coding, reasoning, and vision, and can generate outputs faster than the 5.1 versions of the Fable and Mythos models.