2 ms·
Geez. Who teaches this 3rd-grade class, Prof. Xavier? Interestingly, the R1 1.58-bit dynamic quant model was able to sort of solve it. I changed the problem
by CamperBob2 2y ago
Geez. Who teaches this 3rd-grade class, Prof. Xavier?
Interestingly, the R1 1.58-bit dynamic quant model was able to sort of solve it. I changed the problem statement a bit to request only the solution for 40 and to tell it what operations it can use, both needed to keep from blowing out the limited context available on my machine (128MB RAM + 24MB GPU).
Took almost 3 hours and it wigged out a bit at the end, rambling about Lisp in Chinese, but it got an almost-valid answer: 1 * (2 + 3) * (4 + 5) - 5 (https://pastebin.com/ggL85RWJ https://pastebin.com/ggL85RWJ) I didn't think it would get that far.