Daniel Selsam
Researcher, OpenAI, as of 9 October 2026. Source: leodemoura.github.io
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 on Post-Cutoff name Daniel Selsam, newest first.
Videos
1 video with Daniel Selsam, newest first.
-
What AI Researchers Saw, Before Their Demand to ‘Pace’ AI
AI Explained233,071 views as of 9 Oct