08 Jul, 2026 Table of Contents Intro Contest in short Problem intro Why this problem is auto-research-able Learning Enough to Ask Better Questions (Optional) Math for QR decomposition: Householder reflections Make serial work small with the help of the blocked Householder algorithm Other challenges Codex-maxxing Kernel progress breakthroughs Breakthrough ideas Introducing idea diversity to escape the local maxima Implementation Hints What I could have done better Conclusion References Acknowledg...