0:00
/
0:00
Transcript

AI Safety and Formal Verification with Evan Miyazono

Today we are hosting Evan Miyazono, the founder of Atlas Computing and a fellow at Convergent Research.

Bottlenecks Institute is a research organization dedicated to problem selection and cause prioritization. Our goal is to identify the technical, cultural, and regulatory barriers that are holding back progress (with an emphasis on energy, biology, climate change, and AI). We survey experts about the most important open and underexplored problems in their field and develop AI tools to extract bottlenecks from industry roadmaps and reports.

The bottlenecks are published openly along with context about their significance, insights into the teams working on them, and the potential second-order effects if progress is made. Our aim is to increase legibility for industry-specific bottlenecks and ensure that funders and policymakers are aware of the interventions where their support could go furthest.

Subscribe to get full access to the newsletter and interview archives. To learn more, visit:

Podcast Chapters

References

AI-Powered Tools & Organizations

Research Papers & Articles

Organizations & Teams

People to Follow

Discussion about this video

User's avatar