Sources: Perplexity's estimated ARR rose to over $450M in March, jumping 50% in a month after the launch of a new agent tool and a shift to usage-based pricing

Dario Amodei / @darioamodei: I'm proud that so many of the world's leading companies have joined us for Project Glasswing to confront the cyber threat posed by increasingly capable AI systems head-on. https://x.com/... What I have been saying for years. AI models will become too powerful and treacherous for us to understand, so the only sensible approach to use them is "dangerous until proven safe". Fortunately, since they are so powerful, in addition to the code artifact the produce, they can easily provide a proof that the code is safe, secure, and correct. Then we use artisan trusted technology, like Z3, Lean, Rocq, ... to independently check the proof before we run the AI generated code. Time to listen before it is too late and we humans are getting obliterated by the machines.