Comment by SHOUNKPE (shounkpe) on OpenAI Solves (Some) Formal Math Olympiad Problems · 2022-04-23T04:57:24.922Z · LW · GW

I think this kind of research is very harmful and should stop.

I think it's important to repeat this even if it's common knowledge in many of our circles, because it's not in broader circles, and we should not give up on reminding people not to conduct research that leads to net increased risk of destroying the world, even if its really cool, gets you promoted, or makes you a lot of money.

Again, OpenAI people, if you're reading this, please stop.