BTW, an easy way to score a conversation with SI staff is to write one of us an email that simply says "Hi my name is _ _, I got a medal in the IMO or scored well on the Putnam, and I'm starting to think seriously about AI risk."

Would it be useful for SIAI to run a math competition to identify ubermaths, or to try contacting people who have done well in existing competitions?