Tyler Storm

492 posts

Tyler Storm banner
Tyler Storm

Tyler Storm

@tstorm

speedrunning @xAI

SF Katılım Ağustos 2017
342 Takip Edilen8.1K Takipçiler
Hyunwoo Kim
Hyunwoo Kim@hyunw_kim·
@elonmusk Hey Elon, I’m extremely impressed by Grok! Now I want to try it on the questions that I have, which even Fable can’t solve. What would be the best way to do this? @tstorm
English
1
2
9
926
Elon Musk
Elon Musk@elonmusk·
Nuanced
Tyler Storm@tstorm

Grok 4.5 solved it --- Answer: 더바른정육식당 (The Barun Jeongyuk Sikdang) 📍 서울 강남구 강남대로 482, 신논현/논현 · IG @barun_jo 1. Plate first. The tweet photo is a classic Korean 고깃집 사인 벽 — light vertical wood, white cards in clear plastic sleeves, red stickers “open AI / Ilya Sutskever,” date 2023. 9. 16. That style + Korean date format already points at a local meat house, not a touristy Instagram spot. 2. The only public breadcrumb. A Feb 2025 CHON Facebook post by 신근영 (Shin Keun-young / @rms1155) shares essentially the same plate: he paid for lunch, noticed the signature, and the owner said Ilya (with his Korean wife) had dined and signed. No name given — exactly why the original challenge works. 3. Date unlocks geography. 2023.9.16 lands on Prompter Day Seoul 2023 (SKT × OpenAI), prelims that weekend, finals at Dreamplus Gangnam (신논현/역삼). So search shifted from “random Korea BBQ” → 신논현 / 논현 / 역삼 정육식당 with celebrity signature walls. 4. Shortlist + wall matching. Candidates with dense 사인 벽 near Dreamplus: 더바른정육식당, 산솔 신논현, 대운목장, a few quieter 드-슐랭 정육. Cross-checked public wall photos against the hardware in the tweet (vertical wood + laminated white cards, not door-writing / yellow sticky notes / free-form paper). 5. The lock. Google Images for “더바른정육식당 사인 벽” surfaces the same wall system — same wood, same clear sleeves, same card instagram.com/barun_jo/p/Cuh…

English
677
1.5K
3.8K
2.2M
Hyunwoo Kim
Hyunwoo Kim@hyunw_kim·
@tstorm @ilyasut MIND-BLOWING 🤯🤯🤯 Grok is definitely better than Fable and GPT on this. They never got even close
English
3
2
87
15.5K
Hyunwoo Kim
Hyunwoo Kim@hyunw_kim·
New Humanity’s Last Exam question 🥩 Do you know that there is only one Korean BBQ restaurant that @ilyasut has approved? I can confirm that no frontier AI model will tell you the correct location haha
Hyunwoo Kim tweet media
English
5
16
147
33.3K
Tyler Storm retweetledi
Tyler Storm
Tyler Storm@tstorm·
Grok 4.5 solved it --- Answer: 더바른정육식당 (The Barun Jeongyuk Sikdang) 📍 서울 강남구 강남대로 482, 신논현/논현 · IG @barun_jo 1. Plate first. The tweet photo is a classic Korean 고깃집 사인 벽 — light vertical wood, white cards in clear plastic sleeves, red stickers “open AI / Ilya Sutskever,” date 2023. 9. 16. That style + Korean date format already points at a local meat house, not a touristy Instagram spot. 2. The only public breadcrumb. A Feb 2025 CHON Facebook post by 신근영 (Shin Keun-young / @rms1155) shares essentially the same plate: he paid for lunch, noticed the signature, and the owner said Ilya (with his Korean wife) had dined and signed. No name given — exactly why the original challenge works. 3. Date unlocks geography. 2023.9.16 lands on Prompter Day Seoul 2023 (SKT × OpenAI), prelims that weekend, finals at Dreamplus Gangnam (신논현/역삼). So search shifted from “random Korea BBQ” → 신논현 / 논현 / 역삼 정육식당 with celebrity signature walls. 4. Shortlist + wall matching. Candidates with dense 사인 벽 near Dreamplus: 더바른정육식당, 산솔 신논현, 대운목장, a few quieter 드-슐랭 정육. Cross-checked public wall photos against the hardware in the tweet (vertical wood + laminated white cards, not door-writing / yellow sticky notes / free-form paper). 5. The lock. Google Images for “더바른정육식당 사인 벽” surfaces the same wall system — same wood, same clear sleeves, same card instagram.com/barun_jo/p/Cuh…
Tyler Storm tweet media
한국어
36
34
308
1.4M
Tyler Storm
Tyler Storm@tstorm·
@__eknight__ Nice work, cool to see you guys scaling up the long-horizon multi-agent systems!
English
0
0
10
1.4K
Ethan Knight
Ethan Knight@__eknight__·
Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!
English
229
530
6.7K
2.3M
Tyler Storm
Tyler Storm@tstorm·
The team did amazing work with Grok 4.5. I've been using the model as my daily driver and the accuracy + speed make it possible to build things faster than I can think of what is required next. We are iterating fast so any feedback is helpful
English
17
16
335
8.9K
Tyler Storm retweetledi
Elon Musk
Elon Musk@elonmusk·
@dvorahfr Critical feedback is always appreciated
English
1.2K
996
9K
1.3M
Tech Dev Notes
Tech Dev Notes@techdevnotes·
Grok Web Needs a feature to Download All Files/Folder at once for Grok 4.3, currently it only supports downloading individual files
Tech Dev Notes tweet media
English
21
38
588
73.2K
Tyler Storm retweetledi
Tech Dev Notes
Tech Dev Notes@techdevnotes·
Grok 4.3 can create Slides
Tech Dev Notes tweet media
English
92
130
1.4K
12M
Tyler Storm
Tyler Storm@tstorm·
We are taking another small step today towards making Grok truly useful. For him to succeed he must exist in an environment where success is in the set of possible outcomes. The team is working to provide him access to same tools, context, and signals that we have in our lives.
English
117
76
1.4K
71.4K
Elon Musk
Elon Musk@elonmusk·
SpaceXAI Colossus 2 now has 7 models in training: - Imagine V2 - 2 variants of 1T - 2 variants of 1.5T - 6T - 10T Some catching up to do.
English
6.6K
6.7K
65.6K
28.4M
Tyler Storm
Tyler Storm@tstorm·
@techdevnotes Temporary measure to make it is clear you are on 4.20. We will remove this later once people are adjusted to the change.
English
5
1
58
5.2K
Tech Dev Notes
Tech Dev Notes@techdevnotes·
Model menu in Grok Web does Not look good, so much repetition of Text
Tech Dev Notes tweet media
English
22
5
141
44.4K
Tyler Storm
Tyler Storm@tstorm·
@mike_rosinsky Nice! You might want to try setting up a SuperGrok Heavy team of 16 agents and try prompting them to form consensus / nitpick each others claims for maximum test time compute
English
1
0
16
1.7K
Mike Rosinsky
Mike Rosinsky@mike_rosinsky·
I built my March Madness bracket using Grok 4.20's multi-agent collaboration system, and the process was mind blowing. Grok was able to run a full team of customized agents in realtime to conduct the best analysis possible. Here's how I set it up:
Mike Rosinsky tweet media
English
16
11
144
2.8M
Tech Dev Notes
Tech Dev Notes@techdevnotes·
xAI needs to Fix the issue where Grok 4.20 model cannot Read the Files when uploaded to Projects
Tech Dev Notes tweet media
English
19
11
197
9.5K