Great news for Nora, OAIF, formal methods, the continuity of operations of the Internet, and thereby the overall prospects for human survival and flourishing.
After two wonderful and rewarding years at @ARIA_research, I’m excited to share that I am joining the @FoundationOAI as Program Director of Formal Methods.
this whole story sounds made up lol
i just learned that AI is creating a lab monkey crisis.
in 2019, a lab monkey cost $3,000. now they're $20,000+ each, and it’s about to get way worse.
that's because AI can now design endless new drugs to cure diseases in humans.
but a lot
JUST IN: Palantir cofounder Joe Lonsdale is reportedly backing a monkey breeding startup that plans to raise 30,000 monkeys in the U.S. for medical research.
