Comment on Leanstral 1.5: Proof abundance for allparentComments−InsideOutSanta2moGPT-5.5 is what, a trillion+ parameter model? I think the insight here is that you can do this with a tiny model.
Comments
GPT-5.5 is what, a trillion+ parameter model? I think the insight here is that you can do this with a tiny model.