@Dangerous_beans @baldur

Beautiful example of my point

I think one or two other interactions more could continue the ping-pong of empty arguments

That's super entertaining and interesting. I am really fond of enriching conversations

@baldur

A little issue. (I’m not saying there are no “LLM fanatics” or ideologues)

But the war-of-religion-inducing word here is “fan”

You seem to have no trouble distinguishing:

- faith
- frequency of use
- enthusiast
- advocate
- supporter
- proponent
- die-hard
- expert
- intermediate
- novice
- ceo
...

So why collapse all of that into “fan”?
That word smuggles in too much. My point of view

I like the reasonable distance taken by #codeberg and #mathematician in the domain of automatic theorem proving

They do not totally condemn usage while at the same time warning and even distancing themselves from embracing the technology mindlessly

I think their position is super acute as it bypass the questioning about intellectual property: open source and mathematical knowledge are less prone to money induced issues and what could be labelled as "steal" or "ruthless copy"

Some mathematicians have asked for a moratorium on datacenters-led AI