As of: 2026-10-09 19:24 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/person/daniel-selsam/

# Daniel Selsam

Researcher, OpenAI (as of 2026-10-09; source: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/).

OpenAI researcher (IMO Grand Challenge, NeuroSAT) who used a security-focused AI to find six Lean kernel bugs in July 2026.

## In the news (1 event, newest first)

- 2026-07-28: [Lean kernel soundness bug #14576](https://postcutoff.com/e/2026-07-28-lean-kernel-soundness-bug-collatz/), Research. "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.

## Videos (1)

- 2026-09-16: [What AI Researchers Saw, Before Their Demand to ‘Pace’ AI](https://postcutoff.com/v/ai-explained-what-researchers-saw-pace-ai/), AI Explained, YouTube, review, 233,071 views as of 9 October 2026.

Profile checked 2026-10-09.