← Back to context Comment by kristopolous 1 day 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 20 hours ago This is just not true at this point but believe whatever you want to believe. fatata123 19 hours ago [dead] Workaccount2 11 hours 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 13 hours ago … “but I guess it was able to formalize it in Lean, so…”
fatherwavelet 20 hours ago This is just not true at this point but believe whatever you want to believe. fatata123 19 hours ago [dead]
Workaccount2 11 hours 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…”