Announcement: AI for Math Fund — LessWrong