{"schema":"postcutoff/person@1","as_of":"2026-10-09T19:24:00+02:00","url":"https://postcutoff.com/person/daniel-selsam/","md":"https://postcutoff.com/person/daniel-selsam/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"daniel-selsam","name":"Daniel Selsam","aliases":["Dan Selsam"],"kind":"researcher","role":"Researcher, OpenAI","orgs":["OpenAI"],"role_as_of":"2026-10-09","role_source":"https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/","importance":2,"why":"OpenAI researcher (IMO Grand Challenge, NeuroSAT) who used a security-focused AI to find six Lean kernel bugs in July 2026.","accounts":{"x":"","x_other":[],"website":"","wikipedia":"","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-10-09","same_as":[],"counts":{"entries":1,"posts":0,"videos":1},"entries":[{"id":"2026-07-28-lean-kernel-soundness-bug-collatz","url":"https://postcutoff.com/e/2026-07-28-lean-kernel-soundness-bug-collatz/","date":"2026-07-28","date_precision":"day","short_title":"Lean kernel soundness bug #14576","deck":"An AI-assisted 'disproof' of the Collatz conjecture passes Lean's kernel and nanoda; the 'Summer of Soundness Bugs'","takeaway":"\"Verified in Lean\" has become the main evidence behind AI labs' math claims: OpenAI's Navier–Stokes blow-up, 300 of 719 results in its October release, and Anthropic's formal-math repository.","category":"research","category_label":"Research","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":9,"official":5,"filed":"2026-10-09","updated":"2026-10-09","orgs":["Lean FRO","OpenAI"]}],"posts":[],"videos":[{"id":"ai-explained-what-researchers-saw-pace-ai","url":"https://postcutoff.com/v/ai-explained-what-researchers-saw-pace-ai/","title":"What AI Researchers Saw, Before Their Demand to ‘Pace’ AI","date":"2026-09-16","author_or_channel":"AI Explained","kind_or_platform":"review","views":233071,"made_by_ai":false,"source_url":"https://www.youtube.com/watch?v=J3ljHm57yU0"}]}