Vlad Mikulik comments on Risks from Learned Optimization: Introduction

[Vlad Mikulik]

You’re completely right; I don’t think we meant to have ‘more formally’ there.