Fractional progress estimates for AI timelines and implied resource requirements — LessWrong