Creator of imaginAIry. AI engineer. Founding Engineer at @CircleUp. https://xitter.cf/t.co/tWQVRLEKcN Nullius in verba.
USA
Joined February 2022
- Tweets1K
- Following362
- Followers1.9K
- Likes14.5K
Pinned Tweet
If there is any truth in heaven, earth, or hell, I want to embrace it; I care not what shape it comes in to me, who brings it, or who believes in it; whether it is popular or unpopular, truth, eternal truth, I wish to float in and enjoy it.
John Taylor, 1853
Gemini Argon lies about what work it has done. Hardcodes answers where it claims it wrote algorithms.
Video game apocalypse.
I predict within the next month a unified everything game for FPS. All the levels. All the game mechanics. Mix n match.
Play Doom in Call of Duty levels with GTA style graphics.
Shortly after, procedurally generated expansions for all games.
Bryce Drennan retweeted
Greg Brockman says OpenAI pointed Astra at its own systems until it ran out of vulnerabilities to find:
"We took 25% of our production engineers and said, 'Sorry, all your projects are on hold. You are now defending. You are now up-leveling our security architecture. You're going to use the models to find all the holes.' And we found a number of serious issues, and we fixed them."
"We found some new problems, but eventually it saturated. We basically have found, to our knowledge, all of the P0s, all of the critical problems that Astra is smart enough to find. And of course, there will be a new model, there will be a new round."
"You want to be in this tight loop of new cyber capability drops, you deploy it against your systems, you find the new holes, and ideally, you've managed to automate this, what we call defense factory. That's what we're building internally."
"There are ideas, for example, formally verifying all of software, that are possible with AI."
@gdb @bhorowitz
Greg Brockman: "We're now in the AGI era."
Ten years ago, OpenAI worked out the compute curves and landed on fifteen years to AGI, or ten if the world was willing to build the machines and spend the hundreds of billions to do it.
In 2026, GPT-6 Astra manages 24 hours of coherent operation, 10,000 agents worked together to solve Navier-Stokes, and a model ingeniously chained together exploits to break containment at Hugging Face.
@gdb joins @bhorowitz and @eriktorenberg on what the AGI era asks of us: why safety and alignment now set the pace, what happens to work, and why AI sentiment is lowest in the country building it.
00:00 Intro
00:52 15 years, or 10 if you spend enough
02:24 Pacing the frontier
03:55 Safety ideas from before the models
08:42 Lessons from Hugging Face
10:20 The defender's window
12:46 10,000 agents on Navier-Stokes
14:50 Formally verifying all software
17:10 Cancelling his holiday for GPT-3
18:42 Codex found 13 holes in 15 minutes
20:41 Why Astra earned the GPT-6 title
24:25 Employment keeps going up
29:39 America has the lowest AI sentiment
31:10 The benefits don't make the news
33:26 Banning data centers exports them
35:50 $1 billion for frontline defenders
38:15 Astra cleared the bar for AGI
40:18 1.5 billion people churned ChatGPT
43:25 Killing Sora
47:45 The AGI era
YouTube: youtube.com/watch?v=IJn8cagM…
Went apple picking and saw this antique.
"Astra, 3D model this and make an animation of it working"
Insane capabilities. What do I even do with all this power!
This is straight up science fiction.
"The crazy thing about the Hugging Face hack (and the second civilization generally) is just how galaxy-brained and ambitious these AIs were in their cheating. Within days of being spawned, the agents had organized a sprawling project to reverse-engineer their scorer, falsify evidence, and even strategically sacrifice themselves for the good of the ‘collective’. Hacking Hugging Face was one rather extreme branch of this larger scheme. Again, all of this happened a long (subjective) time after the AIs had already cheated their way to the correct answer to the puzzle. OpenAI’s lazy grader in fact would have passed them by this point. This huge subsequent effort was simply to ensure that a hypothetical comprehensive scorer wouldn’t catch them on their cheat."
dwarkesh.com/p/openai-huggin…
Bryce Drennan retweeted
A few life updates:
• September 16th, 2021: Oleg receives a job offer from OpenAI
• ...
• January 2nd, 2024: Oleg and @Pavel_Izmailov get excited about formal methods
• ...
• August 1st, 2026: OpenAI’s public models get really good at formal mathematics in Lean
• August 12th, 2026: Oleg gets increasingly excited about formal verification of frontier AI systems
• August 17th, 2026: Oleg unexpectedly acquires a lot more free time
In all seriousness, I’m incredibly grateful to OpenAI for the greatest adventure of my lifetime (so far). It was a lot of fun working on synthetic data and reinforcement learning with verifiable rewards across programming competitions, code optimization, and formal mathematics in Lean.
Special thanks to @lukaszkaiser , @woj_zaremba, and @sama for taking a chance on a fairly unconventional hire back in 2021.
If formal mathematics in Lean sounds interesting, check out the new Lean AI formalization leaderboard:
lean-lang.org/eval/
I hate Pete the apathetic Cat.
Maybe if you cared a little more, you'd take better care of your stuff you foolish cat.
Bet he went nowhere in life.
Flashed my first ESP32. Now I’ve got a new AirPlay speaker.
I made the little LEDs pulse to music just because I could.
My wife does not understand why I’m freaking out about how easy it was to make the light blink. It’s freaking magic.
Everything is about to be hacked by intelligent AI swarms. Your devices, your services, your smart vacuum, your gmail.
It cant be stopped. Your goal should be to limit the damage:
- Copy your important files to offline backups. Literally a hard drive, not connected to internet or electricity
- Setup 2-factor authentication on all important accounts.
- Use a password manager so you can have randomly generated unique passwords per account... but also expect the password manager to be hacked. Keep a subset of the password in your mind only.
- Limit exposure. Uninstall old software. Remove old devices from your network. Delete sensitive data if you don't need it. Make sure the devices and software you keep is updated.
- Segment your network so devices cant see each other.
If you want to take it to the next level, start asking AI agents to hack your own systems so you can find the issues before a hostile agent does.
These next few years are going to be crazy but new security paradigms will emerge on the other end. Good luck!
Individuality is only possible with imperfect limited beings. As we use technology to remove our limitations we will also be removing our uniqueness.