AI brief
A new working group on formal verification has been announced at RESI, the Institute for Responsible Superintelligence.
Written by AI from LessWrong's published text. Read the original for full details.
Announcing Formal Verification at RESI (The Institute for Responsible Superintelligence).
LessWrong··Updated yesterday·4 sightings