x
Announcement: AI for Math Fund — LessWrong