Any interesting math facts to plug into the IRC bot's database? (They are accessible via the
- They can be about any mathematical topic, including discussions of metamathematics and computer science.
- Advanced or obscure facts are preferred over elementary or well-known ones. ("Did you know that 10^100 is often called 'googol'" is unlikely to impress anyone.)