DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Source: Wired
Original reporting
Wired: read the full reportRelated stories
TechCrunch
Otter AI can now follow conversations across 30+ languages
Otter AI just added support for 27 languages and revealed an upcoming feature that can follow along if speakers switch between languages.
Wired
Security Flaws Across UK Government Sites Exposed ‘God-Tier’ Information
A researcher’s trawl through publicly available code found private information was at risk across multiple departments.
TechCrunch2 outlets
California’s proposed ‘billionaire tax’ fails to pass
Campaign over Prop 40, as measure was known, was most expensive in state history, flush with Silicon Valley dollars California billionaires won a contentious ballot measure campaign, defeating a proposed one-time tax on their wealth. The bruising campaign over Proposition 40 was the most expensive in state history and witness to back-and-forth dealing from tech billionaires and democratic leaders, including Gavin Newsom, the governor, who steadfastly opposed the measure. While supporters of Prop 40 cast it as a solution to drastic healthcare cuts from Trump’s One Big Beautiful Bill Act, opponents led by prosperous billionaires mounted an influential campaign saying the billionaire tax was instead “an everyone tax”. Continue reading...
TechCrunch
Jensen Huang’s alleged honeypot scandal has inspired some top-notch memes
The internet is having a field day with Nvidia's Jensen Huang's alleged honeypot scandal.
TechCrunch
Anthropic reportedly plans to move forward with IPO plans
The AI company is expected to set its valuation range this week, the Wall Street Journal reported.
The Verge
David Ellison says AI could be the ‘biggest creative unlock in modern history’
During Paramount Skydance's latest earnings call, CEO David Ellison said "it's hard to imagine" AI won't have a bigger impact on the film industry than CGI. In response to a question about the company's outlook for AI, Ellison said: "I think when you zoom out and look at production, AI really has the potential to […]