“A long distance to go”: DeepMind’s AI verified Signal encryption code in four weeks, but only for one-to-one chats, not Signal’s apps.
Technology
The four-week project hints that AI could make formal verification far more practical.
Technology
“False accusations”: Ryan Greenblatt denies leaking, after three OpenAI safety researchers were fired over Signal chats.
Rachel Eddie is a Victorian state political reporter for the ABC, previously at The Age. Contact her on [email protected] , [email protected] , or via Signal @RachelEddie.99.
World News
How should driverless cars tell the world no one is at the wheel?
Technology
Tomek Korbak, Mikita Balesni, and Jasmine Wang tell The Wall Street Journal that OpenAI terminated them after finding disappearing messages on Signal in a chat with Ryan Greenblatt, the former chief scientist at AI safety evaluator Redwood Research. OpenAI reportedly accused Greenblatt of leaking details about its Astra AI model to The Information, which Greenblatt has denied. OpenAI tells the WSJ that the researchers were fired for violating “clear policies for handling sensitive information,” and “not for raising safety concerns or speaking out.” [Link: The Signal Chats That Cost OpenAI Researchers Their Jobs | https://www.wsj.com/tech/ai/the-signal-chats-that-cost-openai-researchers-their-jobs-594c5853?st=H9AUaC&reflink=desktopwebshare_permalink | The Wall Street Journal]
Technology
This time, business and government acted quickly to ensure no harm was done. But experts warn the next AI-led discovery could be weaponised by bad actors.