← Back to context Comment by kristopolous 1 month ago It's probably from the perennial observation"This LLM is kinda dumb in the thing I'm an expert in" 5 comments kristopolous Reply fatherwavelet 1 month ago This is just not true at this point but believe whatever you want to believe. fatata123 1 month ago [dead] Workaccount2 1 month ago Perennial 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. vessenes 1 month ago … “but I guess it was able to formalize it in Lean, so…”
fatherwavelet 1 month ago This is just not true at this point but believe whatever you want to believe. fatata123 1 month ago [dead]
Workaccount2 1 month ago Perennial 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.
This is just not true at this point but believe whatever you want to believe.
[dead]
Perennial 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.
… “but I guess it was able to formalize it in Lean, so…”