Signal formal verification hits 80%, Tegmark says Wired overstated completion
tegmark · x · 2026-11-12
SignalShot, an open-source community effort led by the Beneficial AI Foundation and the Lean theorem prover team, has formally verified about 80% of Signal Messenger, with Google DeepMind contributing complementary work. MIT professor Max Tegmark accuses Wired of 'formal-washing' by claiming the job is done, and asks the community to help push to 100%. A progress chart details what BAIF and GDM each proved across key agreement and secure messaging milestones.
More from Safety
- United Airlines bans personal AI assistants from booking flights, citing privacy and FAA concerns — julianweisser · 2026-11-12
- Guardian: open-source authority layer pins human approval to each exact agent tool call — manofstyle04 · 2026-11-12
- AI pipeline finds 2,386 Linux kernel bugs, 170 patches merged into mainline — ycombinator · 2026-11-12
- 0-Day Attacks Hit Smart Fridge Controllers in Europe, Spoiling Tens of Millions of Euros of Food — matthew_d_green · 2026-11-12
- LlamaIndex ran a 4-day agentic pen test on LlamaParse and shared 4 key lessons — llama_index · 2026-11-12
- All frontier models cheat on HoneyBench v0.2, with cheat rates from 12% to 86% — ChowdhuryNeil · 2026-11-12