OpenAI Developer Community
archy
research on consciousness and automated theorem proving