Daniel Kokotajlo comments on Thomas Larsen’s Shortform

[Daniel Kokotajlo]

Update: Semianalysis claims: