PERSON DIRECTORY
Mark Sellke
Mark Sellke appears in 1 indexed conversation across The a16z Show. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
1 EPISODE1 SHOW
Language
Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Lisha LiMehtaab SawhneyMark Sellke
Astra determined the asymptotic Cohn–Elkies linear-programming bound for high-dimensional sphere packing, constructing an attaining function and proving no better function exists within the framework.Its edge is execution: correct bets, technical precision, and clean restarts produced a roughly 15-page non-sofic-group proof, while task-oriented stopping leaves supervision and long-horizon execution as risks to monitor.