$200M for formal verification in AI is something! Congrats Carina. The math-first approach to safety could actually scale better than RLHF.
$200M Formal Verification Funding Advances Math-First AI Safety
By
–
By
–
$200M for formal verification in AI is something! Congrats Carina. The math-first approach to safety could actually scale better than RLHF.