LLMs are making formal software verification feasible at a much larger scale \ Anthropic

Keane Lucas, Aengus Lynch, Luna Tong, Luke Champine, Zygi Straznickas, Dino Distefano, Harshikaa AgrawalEvyatar Ben Asher, Ava Howell, Sami Jawhar, Chris Rohlf, Nickolai ZeldovichNicholas Carlini, Rajashree Agrawal, Jason Gross Most software is riddled with bugs, which AI can now easily find and exploit. The standard defenses against cyberattacks are no longer sufficient: we need ways…

Read More

Spotify stock pops on Q3 earnings, driven by premium subscriber growth and AI for personalized experiences

Spotify (SPOT) stock rose on Thursday after reporting Q3 earnings, which showed premium subscribers grew 9% year over year and that artificial intelligence is becoming a key part of its strategy. The streaming giant posted revenue of nearly €5 billion (about $5.6 billion), roughly in line with expectations. Premium subscriptions and ad-supported drove results, up…

Read More

Microsoft’s Mustafa Suleyman says its AI outperforms doctors on hard cases as he chases ‘medical superintelligence’

Microsoft’s AI diagnostic system correctly diagnosed complex medical cases in a simulation more than twice as often as generalist physicians, according to a study published Thursday in Science. Mustafa Suleyman, Microsoft AI’s CEO, called the result a step toward “medical superintelligence.” The system, dubbed MAI-DxO (DxO for short), coordinates several AI agents that act like…

Read More

Meta stock falls 7% as AI spending fears return

Meta (META) stock closed out the trading day Thursday down 7% on, despite reporting better-than-anticipated Q3 revenue results Wednesday, as AI bubble fears remerged across Wall Street. Investors pulled back on semiconductor and other AI stocks across the board on questions about whether massive investments in AI data centers will pay off in the long…

Read More

GM aims to shorten vehicle development time with AI, software push

NEW YORK — General Motors plans to lean into artificial intelligence and vehicle software for future growth and development amid increasing competition abroad from Chinese automakers and a tougher U.S. market. The Detroit automaker on Wednesday shared new details about a proprietary AI agent it’s releasing under its OnStar brand, plans for a fourth generation…

Read More