Oleg Mürk

@oleg_murk

Former OpenAI researcher for 5 years. Formal verification & AI. IOI Gold: 3rd manually, 6th with OpenAI.

following
followers

Three OpenAI safety researchers reportedly fired

A researcher says the three wrote to OpenAI leadership and believes they were fired for prioritizing safety.

144 Sources, 11d ago, updated 11d ago

A proposed ‘Great AI Firewall’ to limit what powerful models can do

A user proposes independent checks on frontier AI’s access to code, networks and physical systems, betting that control could improve faster than dangerous capabilities.

3 Sources, 33d ago, first seen 33d ago

Science

AI-generated solution proposed for Navier-Stokes Millennium Prize Problem

OpenAI says a group of AI agents produced the proof using a next-generation model it describes as significantly more capable than GPT-6 Astra.

1 Source, 36d ago, first seen 36d ago

A claimed AI solution to the Navier–Stokes problem and a call for regulation

OpenAI says AI agents produced a proof for the Millennium Prize Problem. A user who says they spent about five years at the company argues that institutions could struggle to keep pace with AI’s capabilities.

1 Source, 36d ago, first seen 36d ago

Fields Medalists’ AI declaration sparks debate over proofs and understanding

Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.