Tobias Häberli comments on $1 billion is not enough; OpenAI Foundation must start spending tens of billions each year