Meaning of "no two"

Solution 1:

Short answer: no two queens attack each other is unambiguous; no two queens or more attack each other is confusing.

Long answer: I have a slightly different interpretation than the other answerers. A common issue in mathematical communication arises over ambiguous statements like

Two queens are red.

To a layperson, or in some mathematical contexts, this means "there are exactly two red queens". But in logical, it gets unpacked as "there exist two queens which are red" which is true as long as there are at least two red queens. In cases like these, it's usually a good idea to add at least or exactly to avoid any possible confusion.

However, things are very different when we add a negation in there. Notice that

No queen is red,

unlike one queen is red, is unambiguous to both logicians and laypeople. The quantifier here is universal, rather than existential; the equivalent statement "every queen is non-red" has no numbers attached to it. On the other hand,

No two queens are red

barely even makes sense. So how do we interpret your sentence? The key is that "attacking each other" is a binary relation; it's a property not of queens but of pairs of queens. We could rewrite your sentence as

The eight queens puzzle is the problem of placing eight queens on an 8x8 chess board so that no pair of queens attack each other.

Now it's clear that the statement is of the type no (object) is (property) --- the object is "pair of queens". Just like no queen is red, there is only one possible interpretation. If you want a better wording, this one should be unambiguously unambiguous! But I should stress that your original sentence is just fine.

In any case, I'd recommend against changing it to no three queens or more attack each other. Since "attacking each other" is a binary relation, this actually adds to the confusion. If Queen A attacks Queen B attacks Queen C, but Queen A and C are non-attacking, does that count as three queens attacking each other? Leaving out the or more would be the right thing to do.

Edit to respond to your second example

Contrary to the first example, I have a lot of trouble parsing the sentence

Find the probability that no 2 balls are red.

I think this sentence is ambiguous at best. (In fact, I would argue that it's semantically incorrect; in any case, it would be best changed to something else.) I mentioned a similar example above and rejected it as meaningless, but I didn't properly explain myself. So here goes:

"No" and "not" can sometimes be confusing in mathematics. "No" is what the logician calls a quantifier. It says that something is false for all objects. So no ball is red means for every ball, that ball is not red. And in general, no (object) has (property) means for every (object), that (object) does not have (property). (Logicians write this in symbols as ∀x ¬p(x).)

So let's try to analyze the sentence no two balls are red. Here we get a bit stuck. What does the "no" quantify over? The most sensible interpretation is probably to unpack

No (two balls) are (red)

as

For every (two balls), those (two balls) are not (red)

and then further assuming that a pair of balls are red if and only if they are both red. In other words, you get a logically equivalent statement to

At most one ball is red

which is really what you should write in the first place, since as you point out "No two balls are red" is confusing.

Your alternate interpretation takes

No two balls are red

as

It is not the case that (exactly) two balls are red.

This is an understandable attempt to tackle the sentence. It's not the way that "no" is usually interpreted, but I wouldn't say it's wrong under the circumstances. It's really the phrase no two balls are red which is meaningless; the reader needs to resolve this by either changing "no" to a quantifier that makes sense (as you did) or by interpreting (two balls) as a single object and extending the definition of (red) to pairs of objects.

TL;DR

"No" is a logical quantifier. You can only quantify over singular objects. So

No two balls are red

doesn't make sense. The confusion here arises because you can quantify over a group of things if you treat the group as the singular object:

No two queens are attacking

works because "two queens" (or better, the singular "pair of queens) are treated as a singular object which can have the property "attacking".

The TL;DR was TL;DR

All this confusion is the fault of the word "no".

Solution 2:

No, I don't think "or more" is necessary. The meaning is clear.

If you want to get pedantic about it: If more than two queens can attack each other, then two queens can attack each other.

So, you really don't need to add "or more."