So Meta AI (aka Facebook research) came up with a large language model for science: galactica.org. And I came up with a game: Ask it for the theorem that you have proved! Anyone out there who can explain my theorem to me? Does it even make sense?

Show me yours!