Meta-Science | Kairos.fm

Meta-Science | Kairos.fmhttps://kairos.fm/tag/meta-science/Meta-ScienceHugo Blox Builder (https://hugoblox.com)en-usSun, 16 Aug 2026 00:00:00 +0000https://kairos.fm/media/logo_hu3665961374755788175.pngMeta-Sciencehttps://kairos.fm/tag/meta-science/Mapping Civilization's Resilience Gaps w/ Dr. Evan Miyazonohttps://kairos.fm/intoaisafety/e033/Sun, 16 Aug 2026 00:00:00 +0000https://kairos.fm/intoaisafety/e033/<div style="text-align: justify"> Dr. Evan Miyazono joins Jacob to talk about his path from quantum networking and Protocol Labs to founding Atlas Computing. They discuss why Atlas moved away from formal methods research and toward what Evan calls “field strategy”: identifying important problems, figuring out what interventions could actually address them, and finding the people best positioned to make them happen. The conversation also covers the resilience gap map, coordination failures, AI safety, "value alignment," and the question of how to decide what work is worth doing when there’s no obvious organization responsible for it. <p>Check out the <a href="https://youtu.be/rsjVgoHFZM4" target="_blank" rel="noopener">video version</a> of this podcast on the Kairos.fm YouTube channel, or the extended version on <a href="https://www.patreon.com/Kairosfm/posts/mapping-gaps-w-166878192" target="_blank" rel="noopener">Patreon</a>!</p> <div class="flex flex-col items-center max-w-screen-lg mx-auto px-8 justify-center pt-6"> <div style="border-radius: 10px; overflow: hidden; width: 100%; background-color: #1B4066;"> <iframe id="transistor" style="visibility:hidden;" onload="this.style.visibility='visible';" width="100%" height="180" frameborder="no" scrolling="no" seamless="" src="https://share.transistor.fm/e/a4e4e51c"></iframe> </div> </div> <div style="font-size: x-small;font-style: italic;padding-left: 2.25rem;">INTERVIEW RECORDED 2026.05.27; ASIDES RECORDED 2026.07.14; <a href="https://share.transistor.fm/s/a4e4e51c/transcript.txt" target="_blank" rel="noreferrer noopener">TRANSCRIPT</a></div> <h2 id="chapters">Chapters</h2> <div style="text-align: left; font-family:monospace;"><small> 00:00:00 ❙ Intro<br> 00:05:03 ❙ From Quantum Internet to Blockchain<br> 00:13:29 ❙ Founding Atlas Computing<br> 00:18:25 ❙ Formal Methods Explained (ASIDE)<br> 00:24:39 ❙ Narrower AI & Domain-Specific Safety<br> 00:35:54 ❙ The Pivot to Field Strategy<br> 00:52:27 ❙ Value Alignment vs. Skill<br> 01:09:16 ❙ The Resilience Gap Map<br> 01:26:32 ❙ Guarding Against Funder Capture<br> 01:49:09 ❙ Rapid Fire Questions<br> 01:58:01 ❙ Outro </small></div> <h2 id="links">Links</h2> <ul> <li>Evan’s <a href="https://miyazono.github.io" target="_blank" rel="noopener">personal website</a></li> <li>Atlas Computing <a href="https://atlascomputing.org/" target="_blank" rel="noopener">website</a></li> <li>The AI Resilience <a href="https://docs.google.com/spreadsheets/d/1QAdfr71KOM0w5ZsU_8OxLG1q1mDUlJQJBK9UB0WTeT8/edit?usp=sharing" target="_blank" rel="noopener">Gap Map</a></li> <li>Atlas Computing <a href="https://blog.atlascomputing.org/p/civilizations-maintenance-backlog" target="_blank" rel="noopener">blogpost</a> - Civilization’s Maintenance Backlog</li> <li>Atlas Computing <a href="https://blog.atlascomputing.org/p/if-your-problem-is-structural-you" target="_blank" rel="noopener">blogpost</a> - Your Solution Doesn’t Know Your Problem Exists</li> </ul> <h3 id="formal-methods">Formal Methods</h3> <ul> <li>Galois <a href="https://www.galois.com/what-are-formal-methods" target="_blank" rel="noopener">blogpost</a> - What Are Formal Methods?</li> <li>Quanta Magazine <a href="https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/" target="_blank" rel="noopener">article</a> - Hacker-Proof Code Confirmed</li> <li>Vitalik Buterin <a href="https://vitalik.eth.limo/general/2026/05/18/fv.html" target="_blank" rel="noopener">blogpost</a> - A shallow dive into formal verification</li> <li>Quanta Magazine <a href="https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/" target="_blank" rel="noopener">article</a> - Cryptography This Is Provably Secure</li> <li><a href="https://arxiv.org/abs/2605.23109" target="_blank" rel="noopener">Preprint</a> - Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems</li> <li>Atlas Computing <a href="https://blog.atlascomputing.org/p/cslib-leans-formal-software-foundation" target="_blank" rel="noopener">blogpost</a> - CSLib: Lean’s Formal Software Foundation</li> <li>Lean <a href="https://lean-lang.org/" target="_blank" rel="noopener">website</a></li> <li>CSLib <a href="https://cslib.io" target="_blank" rel="noopener">website</a></li> </ul> <h3 id="meta-science">Meta-science</h3> <ul> <li>Patrick Collison & Tyler Cowen <a href="https://marginalrevolution.com/marginalrevolution/2019/07/we-need-a-new-science-of-progress.html" target="_blank" rel="noopener">essay discussion</a> - We Need a New Science of Progress</li> <li>Federation of American Scientists <a href="https://fas.org/publication/focused-research-organizations-a-new-model-for-scientific-research/" target="_blank" rel="noopener">article</a> - Focused Research Organizations</li> <li>Sociocracy For All <a href="https://www.sociocracyforall.org/consent-decision-making/" target="_blank" rel="noopener">article</a> - Consent-based decision-making</li> </ul> <h3 id="referenced-media">Referenced Media</h3> <ul> <li>3Blue1Brown <a href="https://www.youtube.com/watch?v=bBC-nXj3Ng4" target="_blank" rel="noopener">video</a> and <a href="https://www.3blue1brown.com/lessons/bitcoin" target="_blank" rel="noopener">blogpost</a> - But How Does Bitcoin Actually Work?</li> <li>Rich Sutton <a href="https://www.cs.utexas.edu/~eunsol/courses/data/bitter_lesson.pdf" target="_blank" rel="noopener">essay</a> - The Bitter Lesson</li> <li>Quinn Slobodian & Ben Tarnoff <a href="https://en.wikipedia.org/wiki/Muskism_%28book%29" target="_blank" rel="noopener">book</a> - <em>Muskism: A Guide for the Perplexed</em></li> <li>Ethan Mollick <a href="https://www.oneusefulthing.org/p/centaurs-and-cyborgs-on-the-jagged" target="_blank" rel="noopener">substack article</a> Centaurs and Cyborgs on the Jagged Frontier</li> </ul> <h3 id="organizationsprograms-mentioned">Organizations/Programs Mentioned</h3> <ul> <li>Protocol Labs <a href="https://www.protocol.ai/" target="_blank" rel="noopener">website</a></li> <li>ARIA (UK) <a href="https://www.aria.org.uk/" target="_blank" rel="noopener">website</a></li> <li>ARIA <a href="https://www.aria.org.uk/programme-safeguarded-ai/" target="_blank" rel="noopener">programme page</a> - Safeguarded AI</li> <li>DARPA <a href="https://www.darpa.mil" target="_blank" rel="noopener">website</a></li> <li>Renaissance Philanthropy <a href="https://www.renaissancephilanthropy.org/" target="_blank" rel="noopener">website</a></li> <li>Theorem <a href="https://theorem.dev/" target="_blank" rel="noopener">website</a> - AI-first formal verification lab</li> <li>Convergent Research <a href="https://www.convergentresearch.org/" target="_blank" rel="noopener">website</a></li> <li>Frontier Model Forum <a href="https://www.frontiermodelforum.org/" target="_blank" rel="noopener">website</a></li> <li>Coefficient Giving <a href="https://coefficientgiving.org/" target="_blank" rel="noopener">website</a> (prev. Open Philanthropy)</li> <li>Survival and Flourishing Fund <a href="https://survivalandflourishing.fund/" target="_blank" rel="noopener">website</a></li> <li>NSF <a href="https://www.nsf.gov/funding/initiatives/nsf-x-labs" target="_blank" rel="noopener">program page</a> - NSF X-Labs</li> </ul> <h3 id="people-mentioned">People Mentioned</h3> <ul> <li>David “davidad” Dalrymple <a href="https://www.lesswrong.com/posts/pKSmEkSQJsCSTK6nH/an-open-agency-architecture-for-safe-transformative-ai" target="_blank" rel="noopener">essay</a> - Open Agency Architecture</li> <li>Andrew Critch’s <a href="https://acritch.com/" target="_blank" rel="noopener">personal website</a></li> <li>Jason Gross’ <a href="https://github.com/jasongross" target="_blank" rel="noopener">GitHub</a></li> <li>Alexandre Rademaker <a href="https://arademaker.github.io/" target="_blank" rel="noopener">personal website</a></li> </ul> <h3 id="other-niche-topics-mentioned">Other Niche Topics Mentioned</h3> <ul> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theorem" target="_blank" rel="noopener">article</a> - Arrow’s impossibility theorem</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Approval_voting" target="_blank" rel="noopener">article</a> - Approval voting</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Sortition" target="_blank" rel="noopener">article</a> - Sortition</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Is%E2%80%93ought_problem" target="_blank" rel="noopener">article</a> - Hume’s guillotine / the is-ought problem</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/501%28c%29_organization" target="_blank" rel="noopener">article</a> - 501(c)(6) nonprofit designation</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Know_your_customer" target="_blank" rel="noopener">article</a> - Know Your Customer (KYC)</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Mobile_driver%27s_license" target="_blank" rel="noopener">article</a> - Mobile driver’s license (mDL)</li> <li>Wikipedia <a href="https://en.wikipedia.org/wiki/Community_Notes" target="_blank" rel="noopener">article</a> - Community Notes</li> </ul>  </div>