Geoffrey Irving(@geoffreyirving):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.

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 팬

Geoffrey Irving@geoffreyirving

2026.09.10 15:23

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.