Trustworthy AI Through Domain-Specific Formal Oversight

Evan Miyazono, founder of Atlas Computing, a nonprofit, tackles the urgent issue of AI capabilities outpacing human review. In this insightful talk, Miyazono explores the separation of AI capability concerns from the fear of superintelligent AI or imbalanced power dynamics among AI users. He explains the limitations of current AI review mechanisms and proposes a future where review processes are robust and scalable.
Miyazono emphasizes the importance of moving beyond mere alignment and developing systems where human oversight remains integral. He highlights the need for specifications that define success and failure criteria, enabling AI systems to meet these benchmarks reliably. By examining various domains, such as formal verification and small molecule biochemistry, Miyazono illustrates practical steps toward achieving these goals.
Created by Protocol Labs and co-curated by Foresight Institute, LabWeek Field Building gathered leading individuals and teams from frontier science to drive progress. The weeklong conference took place at Edge Esmeralda, a pop-up event city in Healdsburg, CA, from June 10-16, 2024. For more info on LabWeek Field Building, go to www.labweek.io....
Subscribe to our newsletter: www.bit.ly/PLU...
Follow Atlas Computing
Website: www.safewithat...
X: x.com/SafeWith...
LinkedIn: / atlas-computing-org
Follow Protocol Labs
Website: www.protocol.ai
X: www.x.com/prot...
LinkedIn: / protocollabs
Follow Edge City
Website: www.edgecity.live
X: x.com/joinedge...
Follow Foresight Institute
Website: www.foresight.org
X: x.com/forsight...
LinkedIn: / foresight-institute