AIs can now do easy-to-verify SWE tasks, I've shortened timelineslesswrong.com3 pointsgmays2 months ago