3 ms·
All of those except Alphafold are basically just automated smoke-testing with proof assistants. And Alphafold isn't an LLM. So yeah, some more potent examples
by bigyabai 3mo ago
All of those except Alphafold are basically just automated smoke-testing with proof assistants. And Alphafold isn't an LLM.
So yeah, some more potent examples would really help illustrate the real-world dangers of frontier models. Entertain me.
- nonadhocproblem 3mo agothe next few years are going to be rough for you...
- bigyabai 3mo agoPeople told me that in 2018, too. Glad that I didn't listen.