jacquesthibs comments on A “Bitter Lesson” Approach to Aligning AGI and ASI