one way to think about reasoning is there are some problems that benefit from from being able to think about it for longer you know there's this classic notion of system one versus system two thinking in humans system one is the more automatic instinctive response and system two is the slower um you know more process driven response um and for some tasks you don't really benefit from more thinking time so if I ask you like what's the capital of Bhutan you know you can think about it for two years it's not going to help you get it get it right with higher higher accuracy what is the capital I actually don't know uh but you know there's there's some problems where there's clearly a benefit from being able to think for longer so one classic example that I point to is a Sudoku puzzle it's you you could in theory just go through a lot of different possibilities for like what the Sudoku puzzle might be uh what the solution might be and it's really easy to to recognize when you have the correct solution So in theory if you just had like tons in times in time to solve a puzzle you would eventually figure it out we're excited to have Noam Hunter and ILO with us today who are three of the researchers on Project strawberry or 01 at openai 01 is open ai's first major Fay into General inference time compute and we're excited to talk to the team about reasoning Chain of Thought and inference time scaling law and more ilga Hunter Noom thank you so much for joining us and congratulations on releasing 01 into the wild I want to start by asking did you always have conviction this is going to work um I think that we had conviction that something in this direction was promising but the the actual like path to get here was never clear and I you know you look at 01 it's not like this is an overnight thing it actually there's a lot of years of research that that goes into this um and a lot of that research didn't actually um pan out but I think that there was conviction from open Ai and like a lot of the um leadership that something in this direction um had to work and they were willing to uh to keep investing in it um despite the initial setbacks and I think that eventually paid off I I'll say that I did not have as much conviction as gome from the very beginning um I've been staring at language models trying to teach them to do math and other kinds of reasoning for a while um and I think there's like uh a lot to research that's ebb and flow um sometimes things work sometimes things don't work um when we saw that the methods we were pursuing here started to work um I think it was a kind of aha moment for a lot of people uh myself included um where I started to read some um outputs from the models that were approaching the problem solving a different different way um and that was this this moment I think for me where my conviction really set in um I think that open eye in general takes a very empirical data- driven approach to a lot of these things and when the data starts to speak to you when the data starts to make sense when the trends start to line up and we see something that that we want to pursue we pursue it and that for me was when I think the conviction really set in about you Ila you've been at open AI for very long time five and a half years five and a half years what what did you think did you have conviction from the beginning that this approach was going to work um no I've been wrong several times since joining about the path to AI um we originally well I originally thought that robotics was the way forward that's why I joined the robotics team first um embodied AI AGI that's where we thought things were going to go um but yeah I mean things hit roadblocks um I I would say like during my time here chat GPT well I guess that's kind of obvious now that was a paradigm shift we were able to share very broadly with the world something that is a universal interface and um I'm glad that now we have a new path potentially forward to push this ra reasoning Paradigm um but yeah it was definitely not obvious to me um for the longest time yeah I realize there's only so much that you're able to say publicly for very good reasons about how it works but what can you share about how it works even in sort of general terms so um the oan model series um are trained with ARL to be able to think and um you could call it reasoning maybe also uh and it is fundamentally different from what we're used to with llms um and we've seen it uh really generalized to a lot of different reasoning domains as we've also uh shared recently so we're very excited about this paradigm shift with this new model family and for for people who may not be as familiar with what's state-of-the-art in the world of language models today what is reasoning how would you define reasoning and maybe a couple words on what makes it important good question I mean I think one way to think about reasoning is there are some problems that benefit from from being able to think about it for longer you know there's this classic notion of system one versus system two thinking in humans system one is the more automatic instinctive response and system two is the slower um you know more process driven response um and for some tasks you don't really benefit from more thinking time so if I ask you like what's the capital of bhan you know you can think about it for two years it's not going to help you get it get it right with higher higher accuracy what is the capital I actually don't know um but you know there's there's some problems where there's clearly a benefit from being able to think for longer so one classic example that I point to is a Sudoku puzzle it's you you could in theory just go through a lot of different possibilities for like what the Sudoku puzzle might be uh what the solution might be and it's really easy to to recognize when you have the correct solution So in theory if you just had like tons and tons of time to solve a puzzle you would eventually figure it out um and so that's that's what I consider to be I think a lot of people in the AI Community have like different definitions of reasoning and I'm not claiming that this is like the canonical one I think everybody has their has their own opinions but I view it as um the kinds of problems where there is a benefit from being able to like consider more options and and think for longer um you might call it like a a generator verifier Gap where there's like it's really hard to generate a correct solution but it's much easier to recognize when you have one and I think all problems exist on the Spectrum from really easy to verify um relative to generation like a Sudoku puzzle versus um you know just as hard to verify as it is to generate a solution like name of the capital of gutan I want to ask about you know alphago and know your background having done you know a lot of great work in poker and other games uh to what extent are the lessons from gameplay analogous to what you guys have done with 01 and how are they different so I think one thing that's that's really cool about 01 um is that it does clearly benefit by being able to think for longer and when you look back at like many of the AI breakthroughs that have happened I think alpago is the classic example one of the things that um was really noticeable about about the bot though I think underappreciated at the time was that it thought for a very long time before acting it would take you know 30 seconds to make it to make a move and if you tried to have it act instantly it actually wasn't better than top humans it was noticeably worse than them and so it clearly benefited a lot by that extra thinking time now the problem is that the extra thinking time that it had um it was running multicol research which which is like a a particular form of reasoning that that worked well for go um but for example doesn't work in a game like poker which which my early research was on um and so a lot of the like methods that existed for for being able to reason um for being able to like think for longer was still specific to the domains even though the um the neural that's behind it the the the system one part of the AI was very general and I think one thing that's really cool about 01 is that it is so General the way that it's thinking for longer is actually quite General and can be used for a lot of different domains and we're seeing that by giving it to users and seeing what they what they are able to do with it yeah one of the things that's always been really compelling to me about language models and this is nothing new is just that because their interface is the text interface they can be adapted to work on all different different kinds of problems um and so what's exciting I think about this moment for us is that we think we have a way to do something uh to do reinforcement learning on this General interface um and then we're excited to see what that can lead to one question on that you you mentioned I thought that was well put sort of the the I forget exactly how you phrased it but the gap between generation and verification and there's sort of a spectrum in terms of how easy things are to verify does the does the method for reasoning remain assistant at various points in that Spectrum or are there different methods that apply to various points in that Spectrum one thing I'm excited about for this release has been to get 01 in the hands of so many new people uh to play with it to see how it works what kinds of problems it's good at and what kinds of problems it's bad at um I think this is like something really core to open ai's uh strategy of iterative deployment we put the technology that we build the research that we develop out into the world so that we can see um um like we we do it safely and we do it so that we can see how the world interacts with it and what kinds of things we might not always understand fully ourselves um and so in thinking about like what are the limits of our approaches here I think it's been really enlightening to see uh like Twitter uh show what it can and what it can't do um I hope that that is like enlightening for the world that's useful for for everyone to figure out what these new tools are useful for and then I also hope we're able to take back that information and and and use it effectively to understand our our processes our research our products better speaking of which is there anything in particular that you all have seen in the Twitter verse that's surprised you you know ways that people have figured out how to use 01 that you hadn't anticipated um there's one thing I'm super excited about I've seen um a lot of MDS and researchers um use the model as a brainstorming partner and what they are talking about is that like they've been in cancer research for so many years and they've been just running these ideas by the model about what they can do about these Gene Discovery gene therapy type of applications and they are able to get like these really novel uh ways of research to pursue from the model clearly the model cannot do the research itself but it can just be a very nice uh collaborator with humans uh for in this respect so I'm super excited about seeing the model just Advance this scientific uh path forward that's not what we're doing um in our team but like that is the thing I guess like we want to see in the world the domains that are outside ours that gets really uh benefit by this model no I think you tweeted that deep RL is out of the trough of disillusionment can you say more about what you meant by that I mean I think um there was definitely a period starting with I think Atari you know the Deep Mind Atari results um where deep RL was the hot thing I mean I I I was I was in a PhD program I remember what it was like in like you know 2015 to 2018 2019 and deep RL was was the hot thing and in some ways I I think that was I mean a lot of research was done but um certainly some things were overlooked and I think um one of the things that was kind of overlooked was was the power of just training on tons and tons of data using you know something like um the GPT approach and in many ways it's kind of surprising because if you look at alphago which was in many ways like the the crowning achievement of De RL um yes there was this RL step but there was also I mean first of all there was also this reasoning step but even before that there was this large process of learning from Human data and and that's really what got alphago off the ground um and so then there was this like increasing shift there was I guess like a view that this was an impurity in some sense that um uh so a lot of deep RL is really focused on um learning without human data with just learning from scratch um yeah Alpha zero which was a great which was an amazing result and actually ended up doing a lot better than Alpha go um but I think partly because of this focus on loaring from scratch um this GPT Paradigm uh kind of flew under the radar for a while and um except for open AI which which you know saw some initial results for it and you know again had the conviction to to double down on that investment um yeah so there was definitely this period where um deepl was the hot thing and then I think you know when gpt3 came out and and some of these other like large language models and there was so much success without deepl um it there was like yeah a period of disillusionment where um a lot of people switched away from it or or kind of lost faith in it and what we're seeing now with 01 is that actually there is um a place for it and it it can be quite powerful when it's combined with these other elements as well and I think a lot of the deepl results were in kind of you know well defined settings like gameplay is o1 one of the first times that you've seen deep RL used in much more General kind of uh unbounded setting is that the right way to think about it yeah I think I think it's a good I think it's a good point that a lot of the like highlight deepl results were really cool but also very like narrow in in their applicability um I mean I think there were a lot of like quite useful deep RL results um and and also quite General RL results but there wasn't anything um comparable to something like gp4 in its impact so um I I think I think we will see that kind of level of impact from deepl in this new paradigm going forward one more question in this General train of thought uh I remember the alphao results you know at some point with the in the leas at all tournaments there was move 37 and you know that move surprised everybody have you seen seen something of that you know sort where where 01 tells you something and it's surprising and you think about it it's actually right and it's better than any you know top human could think of have you have you had that moment yet with the model or you think it's 02 03 uh one of the ones that comes to mind is we spent a lot of the time preparing for the ioi uh competition that we put the model into uh looking at its responses to programming competition problems and there was one problem where it was uh was really insistent on solving the problem in this kind of weird way uh with some weird method I don't know exactly what the details were uh and uh our colleagues who are much more into competitive programming were trying to figure out why I was doing it like this I don't think it was quite a like this is a stroke of Genius moment I think it was just like the model didn't know the actual way to solve it and so it just like banged it head until it found something else um did it get there yeah yeah it solved the problem it just it just it used some it was like it was some method that would have been really easy if you saw something else I I wish I had the specific one but uh I remember that being kind of interesting there's a lot of the things in the in the in the programming competition um results um I think somewhere we have the II competition programs uh published um where you can start to see that the model doesn't approach thinking quite like a human does or it doesn't approach these problems quite like a human does it has slightly different ways of solving it for the actual II competition um there was one problem that humans did really pour on that the model was able to get half credit on uh and then another problem that humans did really well on that the model was like barely able to get off the ground on um just showing that it kind of has a different way of approaching these things than than maybe a human would I've seen the model um solve some geometry problems and the way of thinking was quite surprising to me such that you're asking the model just like give me this like sphere and then there are some points on the sphere and asking for probability of some event or something and the model would go uh let's visualize this let's put the points and then if I think about it that way or something so I'm like oh you're just using words and visualizing something that really helps you con contextualize um like I would do that as a human and seeing oan do it too just really surprises me interesting that's fascinating so it's stuff that's actually understandable to a human and would actually kind of expand the boundaries of how humans would think about problems versus you know some UND decipherable machine language that's really fascinating yeah I definitely think one of the cool things about our own one result is that these chains of thoughts the model produces are uh human interpretable um and so we can we can look at them and we can kind of poke around at how the model is thinking were there um were there aha moments along the way or were there moments where you know Hunter you mentioned that you were not as convinced at the outset that this is the direction that was going to work was there a moment when that changed where you said oh my gosh this is actually going to work uh yeah so uh I've been an open eye about about two and a half years uh and most of the time I've been working on trying to get the models um better at solving math problems um and we've done a bunch of work in that direction we've uh built various different thepoke systems for that uh and there was a moment on the o1 trajectory where we had just trained this model with this method with a bunch of fixes and and changes and whatnot uh and it was scoring higher on the mathy vals than any of our other attempts um any of our bespoke systems and then we were reading the uh chains of thought and you could see that they felt like they had a different character in particular um you could see that when it got stuck it would say wait this is wrong let me take a step back let me figure out the right path forward uh and and we called this backtracking and I think for uh a long time I'd been waiting to see an instance of the models backtracking and I kind of felt like I wasn't going to get to see an autor regressive language model backtrack because they're just kind of predict next token predict next token predict next token and so when we saw this score on the math test test and we saw the trajectory that had the backtracking that was the moment for me where I was like wow um this is like something is coming together that I didn't think was going to come together and I need to update uh and and I think that was when I grew a lot of my conviction I think the story is the same for me I think it was probably around the same time actually like I you know I definitely I joined with this idea of like you know Chach BT doesn't really think before responding like it's very very fast and there was this like powerful Paradigm of like um in these in these games of AI being able to think for longer and getting much better results but and and there's this question about how do you bring that into uh language models that I was really interested in um and you know that's like it's easy to say that but then there's like there's a difference between just like saying that oh there should be a way for it to think for longer than actually like delivering on that and so we um you know we I I I tried to I tried a few things and like other people were trying a few different things and um in particular yeah one of the things we wanted to was this ability to um to backtrack or to like recognize when it made a mistake or to like try different approaches um and we had a lot of discussions around how do you enable that kind of behavior and at some point we just felt like okay well one of the things we should try at least as a baseline is like just have the AI think for longer um and we saw that like yeah it it once it's able to to think for longer it um develops these abilities um almost like emergently that um were very powerful and contain things like backtracking and self-correction all all these things that that we were wondering how to enable in the models and and to see it come from such a um a clean scalable approach um that was for me the big moment when I was like okay it's very clear that we can push this further and um and it's it's so it's so clear to see where things are going no no my think is understating how strong and effective his conviction in test time compute was I feel like all of our early one-on ones uh when he joined were talking about test time computer and its power and I think multiple points throughout the project no would just say why don't we let the model think for longer and then we would and it would get better and he would just be uh he would just look at us kind of funny like we hadn't done it until that point one thing we noticed in your evals is that you know owan is noticeably good at stem it's better at stem uh than the the pre previous models is there a rough intuition for that why that is I mentioned before that like there's some tasks that are like you know reasoning tasks that are easier to verify than they are to to generate a solution for and there there's some tasks that that don't really fall into that category and I think stem problems tend to fall into the like what we would consider hard reasoning problems and so I think that's that's that's a big factor for why we're seeing a lift on on stem kind of subjects makes sense um I I think relatedly we saw that um in the in the research paper that you guys released that 01 passes your research engineer interview with pretty high Pass rates what do you make of that and does that mean at some point in the future open AI will be hiring A1 instead of instead of human Engineers uh I don't think we're quite at that level yet um I think that there's more it's hard to be the 100% though uh maybe the interviews need to be better I'm not sure um I think that the 01 does feel at least to me I think other people on our team like a better coding partner um than the other models um I think it's already authored a couple of PRS in our on our repo um and so in some ways it is acting uh like a software engineer um because I think software engineering is another one of these stem domains that that benefits from longer reasoning um I don't know I think that um the kinds of uh roll outs that we're seeing from the model are thinking for a few minutes at the time I think the kinds of software engineering uh job that I do when I when I go and write code I think for more than a few minutes at a time um and so maybe as we start to scale these things further as we start to follow this trend line uh and let 01 think for longer and longer it'll be able to do more and more of those tasks and we'll see you'll be able to tell that we've achieved AGI internally when we take down all the job listings and either the company's doing really well or really poorly what do you think it's gonna take for 01 to get great at the humanities do you think being good at reasoning and logic and and stem kind of naturally will extend to being good at the humanities you as you scale up in Prince time or how do you think that plays out you know we're well like we said we released the models and we were kind of curious to see um what they were good at and and what they weren't as good at and um and what people end up using it for and I think there's clearly a gap between the raw intelligence of the model and how it's um like how useful it is for various tasks like in some ways it's very useful but I I think that um it it could be a lot more useful in a lot more ways um and I think there's still some iterating that to do to to be able to unlock that like more General usefulness well can I ask you on that do do you view I'm curious if there's a philosophy at open AI or maybe just a point of view that you guys have on how much of the gap between the capabilities of the model and whatever real world job needs to be done how much of that Gap do you want to make part of the model and how much of that Gap is sort of the job of the ecosystem that exists on top of your apis like their job to figure out do you have a do you have a thought process internally for kind of figuring out like what are the jobs to be done that we want to be part of the model versus kind of where do we want our boundaries to be so that there's an ecosystem that sort of exists around us so I'd always heard that opening ey was very focused on AGI and I was like like honestly kind of skeptical of that before I joined the company and and basically like the first first day that I started and there was an all hands of the company and Sam got up in front of the whole company and basically like laid out the priorities going forward for like the the shortterm and the long term it became very clear that AGI was the actual priority and so I think the clearest answer to that is you know AGI is the goal um there's no single like application that is the priority other than getting us to AI do you have a definition for AGI everybody has their own definition for a exactly that's what I'm curious I I don't know if I have a concrete definition I just think that uh it's something about the proportion of economically valuable jobs that our uh models and our AI systems are able to do I think it's going to ramp up a bunch over the course of the next however many years I don't know it's one of those uh It'll like you'll feel it when you feel it and we'll like move the goalpost back and be like this isn't this isn't that for however long until one day we're just working alongside these AI co-workers and um they're doing large parts of the jobs that we do now and we're doing different jobs and and the whole ecosystem of what it means to do work has changed one of your colleagues had a good articulation of the importance of reasoning on the path to AGI which I think paraphrases as something like any job to be done is going to have obstacles along the way and the thing that gets you around those obstacles is your ability to reason through them and I thought that was like a pretty nice connection between the importance of reasoning and the objective of AGI and sort of being able to accomplish economically useful tasks um is that is that the best way to think about what reasoning is and why it matters or there other Frameworks that you guys tend to use I think this is a TBD thing um just because I think at a lot of the stages of the development of these AI systems of these models we've um seen different shortcomings different failings of them I think I think we're learning a lot of these things as we develop the systems as we evaluate them as we uh try to understand their capabilities and what they're capable of um other things that come to mind that I don't know how they relate to reasoning or not are like strategic planning um ideating or things like this where like to be a um to make an model that's as uh good as an excellent product manager uh you need to do a lot of brainstorming ideation on on on on on what users need what all these things are is that reasoning or is that a different kind of creativity that's not quite reasoning and needs to be addressed differently then afterwards when you think about operationalizing those plans into action you have to strategize about how to move an organization towards getting things done is that reasoning there's parts of it that are probably reasoning and there's maybe parts that are something else and maybe eventually it'll all look like reasoning to us or maybe we'll come up with a new word and there will be new uh new steps we need to take to get there I don't know how long we can we'll be able to push this forward but whenever I think about this General reasoning problem it helps to think about the domain of math uh we've spent a lot of time uh reading what the model is thinking uh when it's when you ask at a math problem um and then it's clearly doing this thing where like it hits an obstacle and then it backtracks just has a problem Oh wait maybe I should try this other thing so when you see that um thinking process um you you can imagine that it might generalize to things that are Beyond math that's what gives me hope I don't know the answer but hopefully the thing that gives me pause is that the 01 is already better than me at math but it's not as good at me at being a software engineer um and so there's some there's some mismatch here there's still a job to be done good there's still there's still some work to do if my whole job were doing uh Amy problems and doing high school competition math I'd be out of work there's still some stuff for me for right now since you mentioned um sort of the The Chain of Thought and being able to watch the reasoning behind the scenes um I have a question that might be one of those questions you guys can't answer but just for fun was it f first off I give you props for in the blog that you guys um published with the release of 01 explaining why Chain of Thought is actually hidden and and literally saying like partly it's for competitive reasons um I'm curious if that was a contentious decision or or like how controversial that decision was because I could see it going either way and it's a logical decision to hide it but I could also Imagine a world in which you decide to expose it so I'm just curious if that was a contentious decision I don't think it was contentious I mean I think for the same reason that you don't want to um share the model weights necessarily for a Frontier Model I think there there's a lot of risks to sharing um the you know the the thinking process behind the model and I think I think it's a similar decision actually can you explain from a Layman's maybe to Layman like what what is the chain of that and what's what's an example of one so for instance if you're asked to solve an integral um most of us would need a piece of paper and a pencil and we would um kind of lay out the steps from getting from a complex equation and then there will be steps of simplifications and then going to a final answer the answer could be one um but how do I get there that is the Chain of Thought in the domain of math let's talk about that path forward uh inference time scaling LW to me that was the most important chart from the research that you guys published and it seems to me like a Monumental result similar to the the scaling laws from from pre-training um and and sorry to be hypy uh like do you agree that like the implications here I think they're pretty profound and you know what does it mean for for the field as a whole I think I think it's pretty profound um and I I think one of the things that I wondered when we were preparing to release 01 is is what people would recognize its significance um we you know we we included it but it's it's kind of a subtle point and I was actually really surprised and impressed that um so many people recognized what what this meant um there have been a lot of concerns that like AI might be hitting a wall or plateauing because pre-training is so expensive and becoming so expensive and there's all these questions around like is there enough data to to train on um and I think one one of the major takeaways about 01 especially 01 preview is not what the model is capable of today but what it means for the future the fact that we're able to have this different dimension for scaling that is so far pretty untapped um I I think is a is a big deal and um and and I think means that the ceiling is a lot higher than a lot of people have appreciated what happens when you let the model things for for hours or months or years what do you what do you think happens we haven't had 01 for years so we haven't been able to let it think that long yet is there a job just running in the background right now that it's just still thinking about solve World Peace okay I'm thinking thinking think yeah there's a there's a Asimov story like that called the last question where yeah you they asked this big computer sized uh AI um something about like how do we reverse entropy and it says I need to think longer for that and like the story goes and then 10 years later they see and it's still thinking and then a 100 years later and then a thousand years later and then 10,000 years later um yeah there is as yet meaningful not enough information for Meaningful answer or something like yeah like it's still yeah do you have a guess empirically on you know what'll happen you know or I guess right now I think the model has I've seen some reports like 120 IQ so like very very smart uh is there a is there a ceiling on that as you scale up iner time compute do you think you get to infinite IQ one of the important things is that like it's 120 IQ on some test someone gave this doesn't mean that it's got like0 IQ level reasoning at all the different domains that we care about I think we even talk about how it is um below 40 on some things like creative writing and whatnot um so I I uh there's definitely it's like it's confusing to think about how we extrapolate this model I think I think it's an important point that um you know we we talk about these benchmarks and we one of the benchmarks that we highlighted in our results was gpq which is this um you know questions that are given to PhD students and like typically PhD students can answer and the AI is outperforming a lot of phds on this Benchmark right now that doesn't mean that it's smarter than a PhD in like every single way imaginable there's there's a lot of things that a PhD can do that you know there's a lot of things that a human can do period that AI can't do and um so you always have to like look at these EV valves with um some understanding that like it's measuring a certain thing that is typically a proxy for human intelligence when you measure you know when humans take that test but means something different when when the AI takes that test maybe a way of framing that an answer to the question is that I hope that we can see that letting the model think longer on the kinds of things that it's already showing it's good at will continue to get it better um so um one of my big Twitter moments uh was um I saw a professor that I had had in school a math professor was tweeting about how uh he was really impressed with 01 um because he had given it a proof that had been solved before by humans but never by an AI model uh and it just took it and ran with it and figured it out and that to me feels like we're at the cusp of something really interesting where it's close to being a useful tool for doing novel math research where if it can do some small lemas and some proofs for um like real math research that would be really uh that would be really really a breakthrough um and so I hope by letting it think longer we can get better at that particular task of being a really good math research assistant um it's harder for me to extrapolate what it's going to look like will it get better at the things that it's not good at now um what would that path forward look like and then what would the infinite IQ or whatever look like then um when it thinks Forever on problems that it's not good at but instead I think you can kind of ground yourself in a here are the problems it's good at if we let it think longer at these oh it's going to be useful for math research oh it's going to be really useful for software engineering oh it's going to be really and you can start to play that game and start to see how I hope the the future will evolve what what are the bottlenecks to scaling Tes time compute I mean for for pre-training it's pretty clear you need enormous amounts of compute you need enormous amounts of data this stuff requires enormous amounts of money like it's pretty easy to imagine the bottom X on scaling pre-training what constrains sort of the scaling of inference time compute when when gbt2 came out and gpt3 came out it was like pretty clear that like okay if you just throw more data and more gpus at it it's going to get a lot better and it still took years for to get from gpd2 to gbd3 to gbd4 and um there's just a lot that goes into taking an an idea that sounds very simple and then actually like scaling it up to a very large scale and I think that there's a similar challenge here where okay it's like a simple idea but you know there's a lot that work that has to go into um actually scaling it up so I think that's the challenge yeah I think that um one thing that I think maybe it doesn't anym surprise but one thing I think might might have used to surprise more academic oriented researchers who join open AI is how much of the problems we solve are engineering problems versus research problems um building large scale systems training large scale systems running algorithms that have never been invented before on systems that are are brand new um is is a scale no one's ever thought of is is really hard and so there's always a lot of just like hard engineering work to to make these systems scale up also one needs to know what to test the model on so we do have these standard evals as benchmarks but uh perhaps there are ones that we're not yet testing the model on so we're definitely looking for those where uh we can just spend more compute on test time and get better results one of the things I'm having a hard time wrapping my head around is you know what happens when you give the model you know near infinite computes because as a human I am you know even if I'm teren to like I am Limited at some points by my by my brain uh whereas you can just put more and more compute that inference time and so does that mean that for example all math theorems will eventually be solvable through this approach uh or like where is the limit do you think infinite computes a lot of compute near near infinite it goes back to the Asimov story if you're waiting 10,000 years but maybe uh but but I I I say that just to to ground it in a like we don't know yet quite what the scaling of this is for how it relates to solving really hard math theorems um it might be that you really do need to let it think for a thousand years to solve some of the unsolved like Core math problems um yeah yeah I mean I think it is true that like if if you let it think for long enough then in theory you could just go through like you know you formalize everything in lean or something and you go through every single possible lean proof and eventually you you stumble upon the theorem yeah we have algorithms already that can solve any math problem is maybe what you were about to get out right exactly yeah like given infinite time you can do a lot of things but yeah so you know clearly get some diminishing returns as you think for longer but yeah very fair what do you think is the biggest misunderstanding about 01 I think a big one was like when the name strawberry leaked people assume that like it's because of this uh popular question online of like the models can't answer how many RS are in strawberry and that's actually not the case it's when when we saw that question actually we were really concerned that there was some internal leak um about the model and as far as we know there wasn't it was just like a complete coincidence that our project was named strawberry and there was this also this like popular reasoning about strawberries as far as I can tell the only reason it's called strawberry is because at some point at some time someone needed to come up with a code name and someone in that room was eating a box of strawberries and I think that's really the end of it it's more relatable than cou I think I was pretty impressed with like how well understood it was actually yeah um I we we were actually not sure how it was going to be received when we when we launched um there was a big debate internally about like is people are people just going to be like disappointed that it's like you know not better at everything um or are people going to be like impressed by you know the crazy math performance um and well we were really trying to communicate was that it's not really about the model that we're releasing it's more about where it's headed and I think I was yeah I I wasn't sure if that would be well understood but it seems like it was and so I think I was actually very um very happy to see that is there any criticism of 01 that you think is fair it's absolutely not better at everything um it's a funky model to play with I think people on the internet are finding um new ways to prompt it to do better um um so there's still a lot of weird edges um to work with um I don't know I'm I'm I'm I'm I'm really excited to see um someone had alluded earlier to like the letting the ecosystem work with our platform to to make more intelligent products to make more intelligent things uh I'm really interested to see how that goes with 01 um I think we're in the very early days it's kind of like I don't know at some point a year ago people started to really figure out these MPS these language model programs with um uh gbd4 or whatever and it was enabling smarter software engineer tools and things like that um maybe we'll see some similar kinds of developments with people building a top of one speak which one of the things that um we have not talked about is o1 mini and I've heard a lot of excitement about o1 mini because people are generally excited about small models and if you can preserve the reasoning and extract some of the World Knowledge you know for which deep Neal Nets are not exactly the most efficient mechanism like that's a pretty pretty decent thing to end up with so I'm curious what what's your love little excitement about 01 mini and kind of the general direction that that represents it's it's a super exciting model also for us as researchers um if a model is fast it's universally useful so yeah we also like it um yeah they they they kind of serve different purposes and also yeah we have we we are excited to have like a cheaper faster version and then kind of like a heavier slower one as well yeah they they are useful for different things so um yeah definitely excited that we we ended up with um a good tradeoff there I really like that framing I think it highlights how much progress is like how how much you can move forward times how much you can iterate um and at least for our research like GGA gets at uh 01 mini lets us iterate faster hopefully for the broader ecosystem of people playing with these models 01 mini will also allow them to iterate faster um and so it should be like a really useful and exciting artifact at least for at least for that reason for Founders who are building in the AI space how should they think about you know when they should be using gp4 versus 01 like do they have to be doing doing something STEM related coding related math related for to use1 or how should they think about it I'd love if they could figure that out for us one of the motivations that we had for releasing one preview um is to see what people end up using it for and and how they end up using it um there was actually yeah um some some question about like whether it's even worth releasing a one preview um but yeah I think one of the reasons why we wanted to release it was so that we can get into the into people's hands early and and see um what use cases it's really useful for what it's not useful for what people like to use it for and um how to improve it and for for the things that people find it useful for anything you think people most underappreciate about 01 right now it's like somewhat proof we're getting a little bit better at naming things um we didn't call it like GPT 4.5 thinking mode whatever um well I thought it was strawberry thought it was qar so I don't know thinking mode kind of has a kind of hasn't ring to it uh what do what are you guys most excited about for 02 03 whatever may come next 0 3.5 whatever yeah we're not at a point where we are out of ideas so I'm excited to see how it plays out just keep doing our research but yeah most excited about getting the feedback because as researchers we are clearly biased towards the domains that we can understand but we'll receive a lot of different use cases um from the usage of the product and we we're going to say maybe like oh yeah this is an interesting thing to push for um and yeah like beyond our imagination it might get better at different fields I think it's really cool that we have a trend line um which should we Post in that blog post and I think it'll be really interesting to see how that trend line extend wonderful that's a good note to end on thank you guys so much for joining us today
Noam Brown · OpenAI 推理研究员(o1 核心成员)
Noam Brown 等谈 o1:如何教大模型更好地推理
→ 在 AI 访谈库中阅读(可切换中英、记录进度)o1 发布三周后研究团队首次集体复盘:思维链与回溯如何工作、test-time compute scaling law 的发现过程与 aha 时刻。核心概念是 Noam 提出的 generator-verifier gap——验证比生成容易的问题(STEM 类)才最受益于推理计算,这解释了 o1 为何在数理上提升最大,还透露 o1 在 IOI 拿到银牌。