Evan Miyazono | Formally Scalable AI Oversight Through Specifications

A group of scientists, engineers, and entrepreneurs in computer science, ML, cryptocommerce, and related fields who leverage those technologies to improve voluntary cooperation across humans, and ultimately AIs.

*Evan Miyazono | Formally Scalable AI Oversight Through Specifications*
Evan leads Atlas Computing, a nonprofit mapping and prototyping ways to achieve human governance and provable safety of advanced AI. He previously created and led a venture studio focused on public goods funding mechanisms, a metascience team, and a research grants program at Protocol Labs (the company that initially created IPFS and Filecoin). Prior to that, he completed a PhD in Applied Physics at Caltech and a BS in Materials Engineering at Stanford.

*Speaker Link*
*Timecodes*
00:00 Welcome and Introduction
00:58 Evan Miyazono's Background and Atlas Computing
01:09 AI Safety and Formal Scalable Oversight
01:38 Challenges and Risks in AI Systems
08:56 Guaranteed Safe AI Architecture
15:16 Atlas Computing's Approach and Applications
19:30 Formal Verification in Software Engineering
35:16 Future Directions and Hardware Governance
38:34 Q&A Session
══════════════════════════════════════

*About The Foresight Institute*

The Foresight Institute is a research organization and non-profit that supports the beneficial development of high-impact technologies. Since our founding in 1986 on a vision of guiding powerful technologies, we have continued to evolve into a many-armed organization that focuses on several fields of science and technology that are too ambitious for legacy institutions to support. From molecular nanotechnology, to brain-computer interfaces, space exploration, cryptocommerce, and AI, Foresight gathers leading minds to advance research and accelerate progress toward flourishing futures.