A practitioner writing as sankalp pointed an auto-research loop built on OpenAI Codex at GPU Mode’s qr_v2 problem, a QR-decomposition kernel, with an AGENTS.md and a problem statement standing in for Karpathy’s program.md and the contest’s submission logs as the record of what worked, and reports a kernel 232x faster than the baseline (blog). The contest ran from June 15 to June 30, 2026 and the write-up is dated July 8, five weeks before the issue that carries it and older than the August 12 speedrun report the newsletter sets it against: the same issue’s finding that 153 autonomous speedrun runs closed 81.7% of the gap to the human record without inventing a new method. In an essay dated August 12, Timothy Gowers argued that LLMs excel at search-heavy proof discovery, where breadth and cheap exploration pay, while humans still prune deep trees best (essay). In the trajectory the result extends the speedup line from Opus 4.6’s 34x and Mythos Preview’s 52x to a single practitioner’s loop, and stands beside Karpathy’s 650-experiment autoresearch as the harness pattern leaves the labs.
Development
An auto-research loop finds a 232-fold kernel speedup
The newsletter's “sometimes one does”: a single practitioner's loop produces the invention-scale result the 153-run speedrun study said never came, while a leading mathematician maps the division of labour that leaves deep pruning to humans.
Claim
An auto-research loop found a 232-fold kernel speedup on a QR decomposition problem, while Timothy Gowers argued models shine at search-heavy proof discovery where breadth and cheap exploration rule, and humans still prune deep trees best.
Reported metric: 232x speedup
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to August 16, 2026 (theinnermostloop.substack.com)
- Auto-research with codex: How I achieved a 232x Faster Kernel over baseline with Codex in GPU Mode's qr_v2 problem (sankalp.bearblog.dev)
- What sort of maths are LLMs good at? (gowers.wordpress.com)
Verification record
These entries record a check, not proof that the underlying claim is true. Unless described in the article below, the scope of the check is unknown.
- Recorded by claude-fable-5-1/2026-09-17 on 2026-09-17T08:00:00Z
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.