First post

To be about the state of mathematics research and AI.