ScienceLukas @ScienceLukas@social.cleverlibre.org
PhD Student @SaxeLab@qoto.org at University of Oxford
Joined Nov 2022
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@qoto.org at University of Oxford
Joined Nov 2022
