~/panel

Panel Discussion: The AI Kernel...

links:none on file
links:none on file
links:none on file
slides:none on file

Kernel-level optimization uses LLMs plus tooling like Triton, Thunderkittens and Mojo to generate CUDA/HIP/PTX kernels but many auto‑generated kernels silently fail verification (examples include hardcoded softmax=1 that passes broken tests). Reports show common kernel sizes around ~300 lines per kernel, verification often requires full model validation rather than unit tests, and continuous test suites plus profilers and evolutionary test‑time scaling are needed. Labs like DeepSeek and Moonshot AI demonstrate big speedups but expect repeated human‑in‑the‑loop sanity checks; broad automation looks plausible within a decade not a year.

AI-written summary · about

  1. 0:00AI kernel revolution panel
  2. 1:24Panelists and backgrounds
  3. 3:09Why RL hasn't produced great kernels
  4. 8:01Verification challenges in kernels
  5. 12:16Compilers hindering kernel development
  6. 16:18Superhuman kernel LLMs soon?
  7. 19:50Future of human-AI kernel writing
  8. 23:28Compute for kernel generation
  9. 27:08LLMs vs AlphaTensor for optimization
  10. 28:35Abstraction levels for LLM kernels
  11. 32:03Closing remarks
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.