x
Why do models *really* fail on HLE tasks? — LessWrong