3 ms·
It's probably from the perennial observation "This LLM is kinda dumb in the thing I'm an expert in"
by kristopolous 9mo ago
It's probably from the perennial observation
"This LLM is kinda dumb in the thing I'm an expert in"
- fatherwavelet 9mo agoThis is just not true at this point but believe whatever you want to believe.
- deleted 9mo ago[deleted]
- fatata123 9mo ago[dead]
- vessenes 9mo ago… “but I guess it was able to formalize it in Lean, so…”
- Workaccount2 9mo agoPerennial doesn't make sense in the context of something that has been around for a few months. Observations from the spring 2025 crop of LLMs are already irrelevant.