The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 19 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Steinberger: It will eventually be responsible to replace human CEOs with AI
“There'll be some CEO system, and then, like, the responsible decision will be to, you know, like, have that thing be the CEO, and then, so that will happen at some point.”
Steinberger: AGI can be reduced to an AI that writes code and tests ideas
“If you your end goal is to have a system that can do everything you can reduce that to building a system that can build that system. And so that minimal system is a system that writes code and comes up with ideas and can validate those by writing code and runn…”
Steinberger: Long context windows are fundamentally superior to RAG
“Retrieval selects a subset of data for one completion. Our model sees all the data all the time. Clearly, a subset of data for the whole completion is a subset of all the data all the time. So if retrieval was optimal, our system could learn it. And it just tu…”
Steinberger: Pure training compute will fail to solve frontier intellectual problems
“Even the best mathematicians in the world, for the frontier of mathematics, require a long time to solve the problem. So, so, so, like, I would love to have a Terence Tao in my computer, but I would then still need to run Terence Tao for a year of human thinki…”
Steinberger: AI alignment is only solvable via recursive automated models
“The only way to sort of reasonably approach this is to iteratively ask your model to solve alignment and safety at that stage, not, not, you know, surely you can also ask it to solve your product level problems, but like that, that's nice, but that's not the f…”
Steinberger: AI coding tool adoption will be a bimodal step-function
“I just genuinely think that there is a gigantic market that gets unlocked in a step function moment where users decide that they're no longer going to use VS code to write code and send it to their colleagues. They're going to use magic or whoever ends up doin…”
Steinberger: Capitalism and competition are the only mechanism to navigate AGI safely
“The reality is I really truly believe that capitalism and competition are the only chance we have to provide a, an optimizer that is capable of getting us to the right place. I think we need the right guardrails to do that.”
Steinberger: A mediocre post-AGI future does not exist; outcomes are bimodal
“Because I can't come up with, like, a mediocre AGI future. It doesn't exist.”
Steinberger: AGI Companies Will Swallow AI Wrapper Startups
“All, you know, this army of wrapper companies is going to get swallowed by AGI companies doing their own agent stuff. The same thing is going to happen there. Like, if you build your own tools, it's just going to get swallowed by simply the model learning to a…”
Steinberger: AI performance requires trading off training compute against inference compute
“Well, so you can think of model performance as some function of training compute times some function of inference time compute. Now those are specific functions that are just scaling law things that you can like model, but the general Way to think about it is …”
Steinberger: Magic is announcing one of the largest compute clusters ever built
“Also in parallel with the release of this, we're going to be announcing what is going to be one of the largest clusters to ever be built.”
Steinberger: 99% of users wouldn't notice Gemini 4 replacing 1.5 Pro
“I don't think, if you took Gemini 1.5 pro, and you put it into Google, and you, like, did all the, you know, fine tuning properly, and then you swap it with Gemini four, I don't think anyone would notice, unless, like, you go, like, prove Riemann, right? But, …”
Steinberger: General AI coding models will span software verticals without specialization
“No, I think if you can, the leap to doing all use cases is small. Like you can build a UI builder and then it's like a normal UI builder, or you can build a true great UI builder driven by AI with some added features for that vertical. But then you can do the …”
Steinberger: Magic will never poach frontier lab staff for training IP
“We're not buying the IP by poaching someone from like a lab who tells us how they train GPT. Never done this. Will not do it.”
Steinberger: In-context learning functions as an online optimizer
“I think of that as some sort of a, as an online optimizer in a sense that instead of compressing a set of data, you're trying to learn an optimizer.”
Steinberger: AI inference spending will follow an extreme power-law distribution
“There'll be users who will want to spend less money, and users will want to spend more money, and this is likely going to follow some sort of very sort of spiky distribution, where there'll be like four users spending a million dollars, and, you know, four bil…”
Steinberger: Magic skipped launching code completions because next-gen models will obsolete them
“Like, we decided not to launch completions, because it's just obviously going to get killed by the next thing.”
Steinberger: Etsy exemplifies massive future demand for post-AGI human-made goods
“Etsy is a great proof of concept for what happens after AGI. This is completely useless. Like you could just buy the made in China product. It looks the same, but it's not made by the human, you know, so. That's the thing, I think. Like, that will grow really …”