Capital required for AGI development benchmarks