This seems basically like a sub-problem of “SIAI doesn’t have enough money”, unless you think there’s some other program that’s being over-funded.
This seems basically like a sub-problem of “SIAI doesn’t have enough money”, unless you think there’s some other program that’s being over-funded.