> The reality is that most hand-made art is an unconscious mash-up of learned signifiers mediated by some kind of technique
Yeah, no. Competent artists are not generalizable as "unconscious", solely "mashing up" influences or input, or even working with "signifiers": many are exquisitely aware of their sources; many employ diverse and articulated methodologies for creation and elaboration; many enjoy working with the concrete elements of their medium with no concern for signification. Even "technique" does not have a uniform meaning across different fields and modes.
That's not really the same as stores outright banning AI code.
An apt analogy would be like a shared drawing taking merge requests and having to spend 30 minutes looking at every single merge request zoomed in to see if there was a microscopic phallus embedded somewhere.
It is completely fair for an open source project to have their own standards, and you are also free to fork it so you can accept as many AI PRs as you want.
None of these options are available for someone that wants to sell AI generated music. There are really only 2 marketplaces to sell your own music and if both of them banned AI, then you are effectively locked out of the entire market.
Your point echoes the "death of the author" concept in literature, where the work is independent of the creator, full stop. It's a useful concept up to a point, but if you really have no idea what it means to have a deep connection to music that is wrapped up in some idea of the creator as a human being, you should trust others when they say they do and it's important to them. For those of us with that value, AI slop is offensive, and to be clear, it has precedents in history with Muzak, early schlager music etc -- what they all share is a desire to use the power of music for non-artistic ends, which sucks from any number of viewpoints. If music has non-artistic utility, that doesn't justify a concerted effort to take away artist-made music from those who may not be paying attention.
I appreciate the honesty. I'm not saying people don't have this relationship with art, I think everyone can have some degrees of it, including me.
But my experience as an artist talking to non-artists about art, I don't think the sentiment that art without a struggling artist, purpose, story to tell, human arc, etc, is not real art is a true sentiment. First of all, because it's not true, because people apply their own meaning and form their own unique relationship with an artist. (The saying don't meet your heroes come to mind.)
Note that I'm not talking about AI at all here. I'm 100% for banning purely generated AI on soundcloud, bandcamp, spotify, etc. What I really want is to filter out art created by people who has put profit as first priority and thrown away any shred of artistic integrity.
But this is an impossible feat, because who am I to judge that someone else's favorite artist is devoid of artistic integrity?
Is "gatekeepy" how we're referring to skill now? "Man I'd like to make a top-quality cabinet for my kitchen, lame how those skilled carpenters are gatekeeping that shit smh"
Much of the discussion here seems focused on the Lean part/correctness, but it sure looks like for Tao its the rapid iteration on the _paper_ that's the important part:
> ... to me, the more interesting capability revealed by these events is the ability to rapidly write and rewrite new versions of a text as needed, even if one was not the original author of the argument.
> This is sharp contrast to existing practice where the effort required to produce even one readable manuscript is quite time-consuming, and subsequent revisions (in response to referee reports, for instance) are largely confined to local changes (e.g., modifying the proof of a single lemma), with large-scale reworking of the paper often avoided due both to the work required and the large possibility of introducing new errors. However, the combination of reasonably competent AI text generation and modification capabilities, paired with the ability of formal proof assistants to verify the informal arguments thus generated, allows for a much more dynamic and high-multiplicity conception of what a writeup of an argument is, with the ability for individual participants to rapidly create tailored expositions of the argument at whatever level of rigor and precision is desired.
Of course this implies that the math works which is the Aristotle part, and that's great ... but this rebuts the "but this isn't AI by itself, this is AI and a bunch of experts working hard, nothing to see here": right, well even "experts working hard" fail to iterate on the paper which significantly hinders research progress.
> app ecosystem of Slack is largely responsible for its success.
Is that true? Slack was one of the first private chats that was not painful to use, circa 2015. I personally hate the integrations and wish they'd just fix the bugs in their core product.
Yeah, no. Competent artists are not generalizable as "unconscious", solely "mashing up" influences or input, or even working with "signifiers": many are exquisitely aware of their sources; many employ diverse and articulated methodologies for creation and elaboration; many enjoy working with the concrete elements of their medium with no concern for signification. Even "technique" does not have a uniform meaning across different fields and modes.
reply