News
Announcing Formal Verification at RESI (The Institute for Responsible Superintelligence)
Adam Chlipala introduces an agenda spanning general software infrastructure, AI-specific infrastructure, and systems that improve themselves. The announcement considers both technical problems and how to organize an effective formal-verification effort.
Can the Institute for Responsible Superintelligence save us from rogue AI?
By Aaron Pressman
“The Institute for Responsible Superintelligence, or RESI for short, seeks to develop mathematical principles and protocols to ensure AI models behave as intended.”
Launching RESI, the Institute for Responsible Superintelligence
Adam Tauman Kalai introduces RESI and highlights motivating questions about incentives as capabilities grow, cautious action by interacting AI systems, and preserving the ability to shut systems down.