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.