I don’t know the exact dates, but:
a)proof-based methods seem to be receiving a lot of attention
b) def/acc is becoming more of a thing
c) more focus on concentration of power risk (tbh, while there are real risks here, I suspect most work here is net-negative)
I don’t know the exact dates, but: a)proof-based methods seem to be receiving a lot of attention b) def/acc is becoming more of a thing c) more focus on concentration of power risk (tbh, while there are real risks here, I suspect most work here is net-negative)