Is ProgramBench Impossible?
lesswrong.com