←back to thread

YC is wrong about LLMs for chip design

(www.zach.be)
317 points laserduck | 1 comments | 16 Nov 24 14:07 UTC | HN request time: 0.271s | source
Show context
fsndz ◴[16 Nov 24 17:05 UTC] No.42157451[source]▶
They want to throw LLMs at everything even if it does not make sense. Same is true for all the AI agent craze: https://medium.com/thoughts-on-machine-learning/langchains-s...
replies(10): >>42157567 #>>42157658 #>>42157733 #>>42157734 #>>42157763 #>>42157785 #>>42158142 #>>42158278 #>>42158342 #>>42158474 #
marcosdumay ◴[16 Nov 24 17:24 UTC] No.42157567[source]▶
If feels like the entire world has gone crazy.

Even the serious idea that the article thinks could work is throwing the unreliable LLMs at verification! If there's any place you can use something that doesn't work most of the time, I guess it's there.

replies(5): >>42157699 #>>42157841 #>>42157907 #>>42158151 #>>42158574 #
1. cwzwarich ◴[16 Nov 24 19:29 UTC] No.42158574[source]▶
If your LLM is producing a proof that can be checked by another program, then there’s nothing wrong with their reliability. It’s just like playing a game whose rules are a logical system.