“Well, I want to qualify that because Yes, in the specific sense that the assumptions on which the proof is grounded are going to be purely symbolic, kind of comprehensible scientific models. But the proof, which, as I said, could be incomprehensibly complex, could involve neur...”

ConceptResearch

“We, we are tapping into that a little bit. So there, there's a, a proof assistant called Colon, which is actually on GitHub. Again, it's like very, very early, but it's starting to be coded now. And that's gonna be the proof assistant for Safeguarded AI. It's kind of a databas...”

ConceptResearch

“more of the overall influence on the training trajectory will come from these facts that humanity has learned about what is good.”

ConceptResearch

“Sources said the platform was rolled out internally in June. However, it's still unclear whether it will get the green light for a public release or when that would happen. Certainly, the product suggests that Cursor, now part of SpaceX AI, is looking to grow beyond their trad...”

ConceptResearch

“OpenAI has released ChatGPT Work, and we are going to talk about what that means in first impressions. But first, let's finally catch up on the now fully released GPT-5.6 model family. Now, this is the first time that OpenAI has split their model family into a set of classes. ...”

ConceptResearch

“for Meta, who have struggled to produce a viable LLM since Llama 3, this is a big improvement”

ConceptResearch

“All right, we're gonna do a quick look at some of the basics here. Uh, 5.6 Pro SOL is out along with Terra and Luna. Now, SOL is only available for paid users. Terra and Luna will be available for free. That is kind of the medium and low. It's kind of imagine in the Claude wor...”

ConceptResearch

“Here's the thing I will say about this. So one of the things that's interesting, and I think if people— is important for them to remember, and this goes to the 17 thing as well, is like, this is a new model in that like it is not just repeating or reading what it's coming out ...”

ConceptResearch

“I'm always late for the podcast. bleaching with my bros, but that's all good. All right. They're staying on the benches. They're staying bleached because this, the, the story here is one that we've yapped about before with like thinking that OpenAI was gonna go in these direct...”

ConceptResearch

“What strikes me is also that I went through some of the reactions. The backstory to this is that Anthropic had 3 teams to review this. One was a group of neuroscientists who had previously done work on these concepts. One was a team from Ilios AI, a research organization. And ...”

ConceptResearch

“Yeah, the AIs, they're just like us, it turns out, or at least similar enough to be in some sort of weird kind of looking glass similarity anyway. I mean, it's a lot to take in, the whole J-Space thing, 150-page paper, 50 pages of commentary, summaries, interactive demos. When...”

ConceptResearch

“And the J-lens is the cheap probe that reads what's in it. We start with how the J-lens actually works and how much it actually sees.”

ConceptResearch

“Now that particular choice I also think reflects one of the big underlying points of this announcement, which is an evolution in how they imagine consumers interacting with AI. We'll come to that in just a minute though, let's talk about the actual model that was released firs...”

ConceptResearch

“this makes for a conversational experience that's a lot closer to what you get when you're interacting in a normal human-to-human conversation”

ConceptResearch

“So basically, as the GPT Live model is doing that interaction, it can summon another model like GPT-5.5, or now going forward, 5.6, to go take care of a task like searching or reasoning, even as it keeps the conversation going. Now, you might remember a couple months ago when ...”

ConceptResearch

“It's very much, I mean, I remember just when I would teach workshops and just talking about ML models or single LLM calls, I would get pushback saying like, well, how do we test these things like rigorously, right? They're non-deterministic and they like, I, they could return ...”

ConceptResearch