bluesky — Adolfo Neto — 8 Oct 2026
> OpenAI has fired three safety researchers, alleging they mishandled confidential information.
#ai-safety #research-culture #formal-verification
OpenAI has fired three safety researchers, alleging they mishandled confidential information. (...) I was pushed out of OpenAI in August after ~5 years as a researcher. No foul play in my case, but working on formal math & verification in Lean at OpenAI was career suicide. (...) Oleg Mürk