And to add something constructive: the timeframes for enjoying a hype cycle differ from person to person. If you are on top of things, it might be tiring, but there are still many people out there, who haven't made the connection between, in this case, LLMs and mathematics. Inspiring some people to work on this may be beneficial in the long run.
Discussions critical of anything are important to true advancement of a field. Otherwise, we get a Theranos that hangs around longer and does even more damage.
I'd rather dissent so others know dissent is a rational response.
But, yes this is a good way to use LLMs. Just like many other mundane and not news-worthy ways that LLMs are used today. The existence of fans doesn't require a denouncement of said fans at every turn.
I think you inferring my motivation for the rant and creating a strawman yourself.
I do agree that directing my rant at the generic "fans" is not productive. The article Tao wrote was a good example of communicating the result. I should direct my criticism at specific instances of bad communication, but not the general "fans".
When said 'fans' are harmful it really does.
Here's a counterexample to your hypothesis. Fans of Nazis require denouncement at every turn.
This is a really good example of how to use the current capabilities of LLM to help research. The gist is that they turned math problems into problems for coding agents. This uses the current capabilities of LLM very well and should find more uses in other fields. I suspect the Alpha evolve system probably also has improvements over existing agents as well. AI is making steady and impressive process every year. But it's not helpful for either the proponents or the skeptics to exaggerate their capabilities.