

btw we crossed our 6k attendee mark a while ago. will probably call sold out when we hit 7k this weekend. do get tix now, this is the epicenter of ai next week. if you are a student or between jobs, head to /associates to help us out.
AI Engineer
3.1K posts

@aiDotEngineer
The world's best engineers, leaders, founders, and researchers building with AI. Organizers of the AIE Summit, Code Summit, Europe, Asia, and World's Fair.


btw we crossed our 6k attendee mark a while ago. will probably call sold out when we hit 7k this weekend. do get tix now, this is the epicenter of ai next week. if you are a student or between jobs, head to /associates to help us out.
























Forty-odd slides that weave four story lines together with subtle and not so subtle jokes featuring Dario, Daniella, Sam, the Pope, Bernie, Claude, .... and code samples in Lean and Dafny. I guarantee that my AIE World's Fair talk [0] will be more fun than all those after parties you have been waitlisted for!




For the past year I’ve been building Arrakis on a single thesis: with the right tools and secure environments, LLMs can reliably do complex work. This journey started two years ago when I left a stable role at Google to work on early coding agents. While still at Google, I wrote a long email to @gdb about how a systems engineer could break into AI. Arrakis opened doors and has led to a full-circle moment: I’ve joined @OpenAI to work on Agent Infrastructure in the Scaling org. It’s a privilege to help people through smarter models and agents. I’m especially excited about our coding initiatives. Thank you @gdb and @paulashbourne for the opportunity. Looking back, the biggest risk was not taking one!


Today, we are releasing verifiers v1 — an overhaul of our environment stack for the modern era of agentic RL and evals. We decompose environments into a taskset, a harness, and a runtime. Run complex agentic tasks like coding and computer use at scale, in any harness.

