Oleg Mürk is an AI researcher and former OpenAI technical staff member. His work has included synthetic data, reinforcement learning with verifiable rewards, competitive programming, code optimization, and formal mathematics in Lean. He is also an IOI gold medalist and has written about pragmatic approaches to AI control and governance.
Oleg Mürk is an AI researcher and former OpenAI technical staff member. His work has included synthetic data, reinforcement learning with verifiable rewards, competitive programming, code optimization, and formal mathematics in Lean. He is also an IOI gold medalist and has written about pragmatic approaches to AI control and governance.
Career
Oleg Mürk holds a BSc, Computer Science from University of Tartu and an MSc, Dependable Computer Systems from Chalmers University of Technology.
Member of Technical Staff at OpenAI from 2022-01 to 2026-08Worked on synthetic data and reinforcement learning with verifiable rewards across programming competitions, code optimization, and formal mathematics in Lean. Contributed to OpenAI research and systems associated with competitive programming and formal reasoning. Departed OpenAI