内容历史
RT Latent.Space Did... Codex just overtake Claude Code? 24.5 hours ago Tibo announced 6M active users. this means Codex usage jumped 1M in ~ONE DAY. the last user number we heard from Claude Code was 2M in Feb: https://www.latent.space/p/ainews-codex-usage-up-10x-in-6-months more analysis within, but this is very big if true.
Thank you to the 7M active users who are now using Codex and ChatGPT Work. We have added a banked reset to everyone's account to celebrate the milestone. You can apply the reset in the desktop app or on web and it will replenish the weekly usage for you. Have fun out there.
View quoted postRT AI Engineer 🆕 In Code They Act, In Proof We Trust — Erik Meijer last year, @solomonstre defined agents as "an LLM that's wrecking its environment in a loop", and @simonw coined the Lethal Trifecta for agents, that remains unsolved. our closing keynote @headinthebox introduces the main motivations behind Automind and the Universalis interpreter - agents that carry their own verifiable proof of safety! link to talk below
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
its been surreal to see @willccbb's career take off after getting unleashed on the world. PI (esp @asharoraa and @vincentweisser and @jackminong etc too many to name) are overlooked for having both incredible talent density and great execution. to this extent their crypto-adjacent vibes and aurafarming even works AGAINST them because you pattern match to people who -only- have vibes and nothing else. if this is intentional, it is kinda genius tbh as someone who publicly (in our @jacobeffron pod) lost hope on RLaaS businesses over a year ago, PI, AC and friends have shown that the prevgen weren't wrong, just early/skill issue. both humbling and inspiring!
Congrats to PI on the unicorn round and $100M ARR! we were proud to have @willccbb introduce verifiers at the first AIE NYC a year ago and now... it is v1! Will joins a rare list of three-time AIE speakers, and his talk on the full PI stack is linked below!
btw the difference is introspection/backpropagation as einstein famously said, the definition of insanity is doing multiple rollouts with no expectation of advantage
does anyone have any useful sentences that will change my life immediately upon being read?
View quoted postif you only learned about jevons paradox primarily wrt software demand in the age of agentic engineering, you may not have fully internalized jevons parodox’s impact under the conditions of: - humans who can wield coding agents well* - coding agents breaking containment to all other knowledge work as the efficiency of labor goes up/unit cost of knowledge work goes broadly down, the demand for total work and better knowledge goes up, not down. what happened to coding isnt the exception; it’s the herald. *aka AI Engineers
so far at least, i'm pretty sure AI has been net job-creating. this was not what i expected--although i was much less pessimistic than others, i thought by this level of capability we'd have seen some impact. it is possible this direction keeps going!
View quoted postRT AI Engineer "I think it's important for people to understand how code works." Geoffrey Litt's Design Eng track keynote is live now: https://www.youtube.com/watch?v=WkBPX-oDMnA Thank you @NotionHQ for supporting his incredible work and thank you Geoff for kicking off WF26 for our Design Engineers!
Hot take: I think it's still important to understand the code that our agents write! In this mega thread (based on my AIE talk today), I will explain why that's the case, and show some ideas for how to efficiently understand code. Alright, let's dive in. 1/
whoever does AEO for @resend needs to get a raise, all the leading frontier models keep trying to use resend for emails even when i have existing transactional infrastructure already set up
one detail i enjoyed about @theo's keynote is in a world of claudeslopped thin color border "professional" looking slides, his went for the hand drawn @excalidraw /@tldraw look which immediately conveys humanity, thoughtfulness, parsimonious concision over badly rewarded verbosity. fable could never
For the closing keynote of WF26, @theo provokes you to think bigger: https://www.youtube.com/watch?v=xUnRQ9vLXxo In an age where most startups are just a markdown file running on a cron job now, the barrier for building platforms has collapsed. Be more ambitious.
View quoted postmost agent labs are shy about acknowledging chinese model use because they need to sell to gov/defense cog team did the hard part to productionize: 1. build a multilingual propaganda & censorship eval 2. successfully correct for it in posttraining 3. serve at 1000 tok/s cheaply
Introducing SWE-1.7, the most capable model we’ve trained yet. It scores within a few points of the strongest frontier models at a fraction of the cost, and is now available at 1000 tok/s. RL is not hitting its limit: after refining our recipe, we keep seeing gains as we scale
