Geoffrey Irving
@geoffreyirving
Cofounder and Chief Scientist at Resolution. Alignment will be solved, but not necessarily in time. Previously AISI, DeepMind, OpenAI, Google Brain, etc.
加入 September 2009
372 正在关注 17.7K 粉丝
Con-leche is safe against ZFC + inaccessibles only via extra checks which are believed unnecessary, but where existing type theory methods don't yet work. Thank you to @TaliaRinger for emphasizing this! The fastest versions this stuff will exist only once those are solved.
显示更多
