While I wouldn't go so far as to say that huge number of grand designs with negative results are not science, it seems to me like they are trying to brute force the solution.
Every negative in a brute force attack only eliminates one key, and doesn't give much information as negatives are far more numerous than positives. It is not a very efficient way to search the space, and we should try to do a lot better if we can. It is the method of last resort.
The paper "Strong Inference" by John R. Platt is a meta-analysis of scientific methodology published in Science in 1964. It starts off with a wonderfully aggressive claim:
The paper starts out by observing that some scientific fields progress much more rapidly than others. Why should this be?
The definition of Strong Inference, according to Platt, is the formal, explicit, and regular adherence to the following procedure:
This seems like a simple restatement of the scientific method. Why does Platt bother to tell us something we already know?
Platt gives us some nice historical anecdotes of strong inference at work. One is from high-energy physics:
The paper emphasizes the importance of systematicity and rigor over raw intellectual firepower. Roentgen, proceeding systematically, shows us the meaning of haste:
Later, Platt argues against the overuse of mathematics:
(Fast forward to the present, where we have people proving the existence of Nash equilibria in robotics and using Riemannian manifolds in computer vision, when robots can barely walk up stairs and the problem of face detection still has no convincing solution.)
One of the obstacles to hard science is that hypotheses must come into conflict, and one or the other must eventually win. This creates sociological trouble, but there's a solution:
Finally, Platt suggests that all scientists continually bear in mind The Question:
----
Now, LWers, I am not being rhetorical, I put these questions to you sincerely: Is artificial intelligence, rightly considered, an empirical science? If not, what is it? Why doesn't AI make progress like the fields mentioned in Platt's paper? Why can't AI researchers formulate and test theories the way high-energy physicists do? Can a field which is not an empirical science ever make claims about the real world?
If you have time and inclination, try rereading my earlier post on the Compression Rate Method, especially the first part, in the light of Platt's paper.
Edited thanks to feedback from Cupholder.