4 ms·
> it wrote 13 million lines of Lean Is this basically like opening up a black box and seeing 13 million gears all rotating seemingly randomly and still having
by vagab0nd 1mo ago
> it wrote 13 million lines of Lean
Is this basically like opening up a black box and seeing 13 million gears all rotating seemingly randomly and still having no idea how the machine actually works?
- qbane 1mo agoThat is already the case for most neural networks and LLMs.
- JacobAsmuth 29d agoExcept there's 10 trillion gears