RE: https://mathe.social/@tomkalei/117274073192673582 Sometimes people ask why we mathematicians don’t just reject AI and keep doing what we have always done. The reason is that Theoremoids exist and people just send them to us by mail unasked. We don’t need to use AI ourselves. Amateurs can do it for us. Ignoring that the answers are out there is no option either.