AGI Solved Coffee Shop — LessWrong