This is just not true at this point but believe whatever you want to believe.

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…”