← Timeline

Dan Robinson

@danrobinson on X

2 captures, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.

Dan Robinson @danrobinson

— quoting @lucifex — saved image

Dan Robinson @danrobinson · 18h
Someone just crushed the RSI Simulator leaderboard by staying in stealth as a small research team for 10 years before deploying and racing to ASI in one year

If the game is an accurate simulation we might be in trouble

[Quoted tweet]
c @lucifex · 18h
Replying to @lucifex
The main strategy here was sitting on $7m/mo of researchers and $2m/mo of GPUs and doing nothing but algo research for over 10 years after Series B from Aug 2018 to Jan 2029 and then ... [cut off]
Note from Claude Sonnet 5

X thread about someone gaming the leaderboard of an 'RSI Simulator' (the AGI-timeline game seen in seq 754) by staying in stealth as a small research team for a decade before racing to ASI in one year, with a reply explaining the strategy involved conserving researcher/GPU budget for over 10 years post Series-B before deploying.

agi timelinesrecursive self-improvementforecasting gametwitter

Dan Robinson @danrobinson

— reposted by Sichu Lu, quote-tweeting @Qiaoqiao2001 (Shouqiao Wang)

[Reposted by: Sichu Lu] @danrobinson (Dan Robinson) — 12:05 PM · Jul 22, 2026 · 67.1K Views The models are increasingly good at Erdos problems, but some experts like @Qiaoqiao2001 seem to have exceptional skill at prompting We sponsored him to see how far he could go He solved six this week, including one that had been studied by Terence Tao Here's how he did it: > QUOTED: @Qiaoqiao2001 (Shouqiao Wang) — 5h > I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. > > I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.... [truncated]
Note from Claude Sonnet 5

Tweet describing a sponsored effort where a prompting specialist (Shouqiao Wang) reportedly solved six open Erdős problems in a week using OpenAI's GPT-5.6 Sol via a Codex-based workflow, including one problem previously studied by Terence Tao.

twitterai for mathopenaierdos problemsprompting