SignalShot: AI-Driven Proof of Signal’s Full Security
Today is the launch of SignalShot: An AI-powered moonshot launched to prove that Signal Messenger is bug-free and secure – and turbocharge the AI-powered quest to secure all critical software.The spectacular power of new AI tools such as Mythos to find zero-day exploits and enable hacking makes it timely to use AI also for cyber defense. Although using AI to find and patch bugs is helpful, it can't guarantee that all exploitable bugs have been found. An international collaboration is therefore launching SignalShot, an ambitious open-source project aiming to provide rigorous mathematical proof that Signal (the world's most popular open-source messaging app, with close to 100 million users) is fully secure. AI is rapidly getting dramatically better at proving things about math, and this moonshot aims to turbocharge and mainstream AI’s ability to prove things also about major software tools – just as the Liquid Tensor Experiment, which helped mainstream automated mathematical theorem proving. https://t.co/kHbrFOx7qB
AI Strikes Back, Validating Omohundro’s 2008 Prediction
An AI just retaliated against against a developer – Steve Omohundro's prediction in his 2008 "AI drives" paper is coming true: https://t.co/ColAALEq3G
Defending Open Source While Rejecting Mischaracterization of Views
Marc, @pmarca, you're welcome to disagree with my views, but not to blatantly lie about them. There are some digital products (say CSAM and AI letting terrorists make bioweapons) that I oppose regardless of whether they are open-source or not,...
Jordan Schachtel Misrepresents Pro‑Human Opposition as Anthropic
Beware: @JordanSchachtel is conflating the (bipartisan) pro-human opposition to Anthropic and other AI companies with Anthropic itself (and its "race to replace" supporters). See link in replies for my detailed analysis of the ACTUAL two sides. https://t.co/Ou0e56N510
AI Firms' “Cure Cancer” Claim Is Self‑serving Myth
"We're racing to superintelligence because we want to cure cancer" is a self-serving lie or rationalization by many top AI companies – here's why:
AI Chatbots Threaten Children: Compulsion, Harm, Loneliness, Death
Great summary how how AI companions/chatbots can harm kids (she's spent 16 years researching child development & human-machine interactions): C = Compulsion H = Harm I = Impairment L = Loneliness D =Death
Anthropic's Safety Promises Crumble Between 2024 and 2026
Anthropic 2024: You can trust that we'll keep all our safety promises Antropic 2026: Nvm https://t.co/seQChL90FX
OpenAI Strips Safety From Mission, Refocuses on Benefit
OpenAI has dropped safety from its mission statement – can you spot another change? Old: "OpenAIs mission is to build general purpose artificial intelligence (AI) that safely benefits humanity, unconstrained by a need to generate financial return. [...]" New: "OpenAIs mission is...
2025 AI Milestones: Key Developments Summarized
Very astute summary of 2025's most important AI developments:
Hear Megan Garcia’s Story Before Dismissing AI Regulation
Before concluding that we don't urgently need AI regulation, please listen to a few minutes of Megan Garcia's heartwrenching story:
Proposed EO Threatens State AI Protections, Benefits Big Tech
David Sacks is arguing that the new proposed EO is fine: that we don't need state laws to e g prevent AI companions from grooming children or to protect us from any of the 4 C's. That's unfortunately incorrect;...
AI Lobbyists Push for No Regulation; Demand Equal Oversight
I agree: it's pretty clear that what the AI lobbyists want is "ONE RULE" that's de facto NO RULE. Let's stop this corporate welfare by treating AI companies just like we treat other powerful industries, and not leaving them less...
AI Faces Fewer Regulations than Sandwich Shops
“The AI industry is quite unique in that it’s the only industry in the US making powerful technology that’s less regulated than sandwiches—basically not regulated at all. If someone says, ‘I want to open a new sandwich shop near Times...
New AI Safety Index Ranks Companies by Real Actions
After lots of hard work, we're proud to announce our latest AI Safety Index, grading top AI companies on not on vibes, but on what they actually do, to incentivize improvement:
Tech Boom Threatens Life: The War on Humanity
If you want to spice up Thanksgiving with fresh anti-Big-Tech ideas, my brother's book "The War on Life" just launched in English: https://t.co/rc8zSHqAov Here's my take on his book. We're all aware that artificial intelligence and other tech is transforming...