AI is learning to make decisions without having to write an essay first.
Google just introduced Gemini Decision 1.
It can evaluate up to 1,000 questions in one pass across text, images, audio, video and PDFs.
Sometimes AI just needs to make the right call.
@DimpleAroro23s At this point, if ChatGPT goes down for 24 hours,
Half the internet will suddenly discover they don't know how to think, write, code or make decisions independently 🤡
Important: This wasn't a complete security audit of Signal.
But it highlights an exciting direction.
AI isn't just helping us write software.
It's increasingly helping researchers verify whether software behaves as intended.
Can AI help prove that encrypted messaging is secure?
Google DeepMind researchers recently demonstrated an AI system called AlphaProof Code to formally verify security properties of the Signal protocol.
This is more than AI generating code.
What's formal verification?
It's a mathematical way of checking whether software satisfies specific security requirements.
Instead of asking AI whether code looks secure, researchers can use mathematical proofs to verify specific properties.