James Payor
Bio
Updated 03/22/26James Payor is an independent AI alignment researcher based in Australia. He worked as Research Staff at the Machine Intelligence Research Institute (MIRI) in Berkeley from January 2018 to April 2022, and has since been pursuing independent AI alignment research. Before MIRI, he was co-founder and CTO of Draftable, a document comparison software company based in Melbourne, from 2015 to 2017. His research focuses on agent foundations, proof-based cooperation, corrigibility, and building AI systems that maintain robust alignment with human input. He is notable for developing a method for proof-based cooperation that does not require Löb's theorem, and has published work on modal fixpoint cooperation on the AI Alignment Forum. More recently he has been working on better foundations for theorem proving, computer-assisted mathematics, and dependently-typed programming languages. In his youth he represented Australia at the 2013 International Olympiad in Informatics, earning a silver medal.
Community Signal
Updated 03/22/26No endorsements yet.
Links
Updated 03/22/26- Personal Website
- https://payor.io/
- Twitter / X
- LessWrong
- jamespayor
- EA Forum
- -