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!
PhD Student @SaxeLab at University of Oxford
Joined Nov 2022
