Fractional progress estimates for AI timelines and implied resource requirements