throwaway713
Joined 10 years ago
Joined 10 years ago
Maybe I'm alone on this, but for some reason these sorts of requests strike me as akin to gatekeeping how someone should breathe air. It's math... the numbers and symbols are just out there in the platonic realm available for anyone to do as they like with them. It's patently absurd to request other people to stop.
Ensuring credit where credit is due? That's fine. If your model incorporates the efforts of many others, then it's reasonable to request acknowledgement of everyone who contributed (even indirectly). But that's not what the request states — presumably their ask subsumes any advanced ML model, including those that weren't trained on a giant corpus of text.
I have sympathy for any jobs that might be affected (much as my own job has become more tenuous in software engineering). And if the field is disrupted by chaos that makes the research process unproductive, that's bad too and should of course be handled by applying better organization within the institutions that tend to perform mathematical research.
But to a large degree, the notion that "sloppy AI proofs are bad for mathematics research" seems like a total failure of the imagination to me. Attempting to find shorter proofs or more elegant proofs can be turned back in on itself via proof theory. There are proofs in Presburger arithmetic that are doubly exponential in the length of the sentence. Yet a more powerful theory like PA makes quick work of such theorems. The explainability or "subjective beauty" of a proof can be quantified and optimized against. Optimization itself can be optimized against. I really don't understand how this magical ability to know the truth of more theorems much more quickly—even via an "ugly" route—is anything but a net positive.
The Catholic church could have said exactly the same thing at one point. "Why should we even devote time to an argument as absurd as the earth not being the center of the universe?" There are darker examples along the lines of those you give, with beliefs quite opposite to those we have nowadays.
Would you categorize this particular style of rhetoric to be persuasive or annoying? And before you say "persuasive" because you're thinking about this specific issue regarding AI consciousness, consider many things in the past that have been written as though they were absolutely definitive, and yet today we believe exactly the opposite, and for many such issues we find the prevailing viewpoint at the time reprehensible.
That's not to say that Ted is wrong at all here; I'm not commenting on that. But I find the entire style of the article grating because it seems to violate common assumptions regarding "good faith" debate, and I would find the article equally frustrating if he had titled it "Artificial intelligence is conscious" and argued the opposite side, albeit in the same tone and using the same persuasion devices.
Case in point: where I live, the interstate is often congested, and a driver "camping" in the left lane frequently leads to traffic jams that back up for miles. The cars that get backed up become frustrated and start zooming and weaving through traffic in the right lanes to get past the blockage. And while there are plenty of police, they only go after the speeders (presumably because speeding tickets are more lucrative). I don't think I've ever seen someone pulled over for squatting in the left lane, despite the fact that it's illegal where I live and despite the presence of numerous signs that say "Keep Right Except to Past".
This is what I would call an example of a dysfunctional law, as I highly suspect that if one had the capability and interest to analyze aerial footage of traffic patterns, it would be found that left lane campers are a much more significant factor in the root cause of interstate traffic accidents than speeders. But the incentives are too perverse to fix the problem, so the situation persists.
Yeah, I think he summed it up better than I could have there.
As someone well past "peak" fluid intelligence at this point, I always hate reading research like this. "Crystallized intelligence" and "emotional intelligence" are the consolation prizes no one really wants.
I'd rather we instead perform research to identify how one might reverse the decline of fluid intelligence...
If I could trade away just the rejection sensitivity, I would. If I had to trade both the rejection sensitivity along with the correlated traits, I’m not so sure that I would in fact. This sort of decision is obviously very individual however. The tradeoffs may not be worth it for many.