These posts came shortly before the math release by OpenAI. I hope the continued discussion of the goldmines in their release helps clarify a vision for how to proceed.