Mistral Open-Sources AI Model That Can Verify Code and Mathematical Proofs
Mistral AI has released Leanstral 1.5 as an open-source model designed to verify mathematical proofs and check whether software behaves correctly.
The company …
Google Adds AI Creation Disclosure for Ads
Google will now tell you when an ad was built with artificial intelligence, and the change reaches far beyond politics for the first time. The company introduce…
Meta Launches Muse Spark 1.1 With Its First Paid AI Model API
Meta Superintelligence Labs has released Muse Spark 1.1, a new multimodal reasoning model designed for coding, computer use, and complex tasks involving externa…
Meta Removes Controversial Instagram AI Feature After Backlash
Meta has pulled one of its newest AI features just three days after showing it off, and the speed of the retreat tells its own story. The tool let anyone tag a …
Meta Deactivates Controversial Instagram AI Deepfake Feature After Backlash
Meta has disabled a controversial feature in its Muse Image AI generator that allowed anyone to create deepfakes of public Instagram profiles.
When the company…
ChatGPT Atlas is Going Away for Good
OpenAI has confirmed that it will retire ChatGPT Atlas, its standalone AI-powered browser, less than a year after its launch.
The company is instead moving Atl…
Meta Adds New Metrics to Track Business Chatbot Performance
Meta has rolled out a set of new performance metrics that finally let brands see whether their AI chatbots are actually working.
Built into Meta Business Suite…
Why Data Centers Are Eyeing This Sodium-Ion Battery
ESS Tech launched Bridge, a modular sodium-ion battery system built for AI data centers, utilities, and critical infrastructure. The Oregon company designed the…