Theoretical Computer Science for AI Alignment group (Scott Aaronson, UT Austin) | grantmaking.ai