proved

We might know how to specify goals for some of those AIs, but none of these are proved safe.

This proved extraordinarily useful for solving crimes, because it could be used both as video evidence and as alibi.

With or without consolidation, invest money in each plane that proved most effective in the field and simply upgrade it.

Many of them are applied in behavioral therapy, which is proved to have an outstanding effect on depression (as one example).

Obviously, clinkle proved that doesn't matter, but the company evidently has a working prototype and the VCs deemed it worth betting on.

It proved a bit too unwieldy for writing but it was a fun exercise.

You could probably do that relatively safely with bit operations, but I expect to be proved wrong.

As as Amiga Inc (and many others) have proved, small groups of people with private offices can produce wonderful things and still have a great corporate culture.

News articles mentioning the phrase were exactly what Jensen claimed would have appeared if the signs existed, and whose absence he claimed proved the non-existence of these signs.

And we have pretty strong arguments that any goal that's not proved safe is most likely unsafe, making everyone end up dead or worse.

We had a teacher in University that proved to us how bees could not fly, making the assumption of laminar flow of course, that is what we use for flying airplanes.

Trying to rationalise (so we could understand their goals and what they might want out of an app/site targeted at them as players) proved impossible for basically everyone on the team.

In short, Alan Turning proved these problems are "undecidable" for the general case (under our model/definition of computing, now know as the Turning Machine).

We know that there are statements that can neither be proved nor disproved, so we cannot make use of the law of excluded middle "a statement is true or it is not".

And so I greeted him at the door to my apartment, not with my usual warm hello, but rather the words "Wiles proved Fermat's Last Theorem".

Generally when I hear the term "deniable" used with something security related, I think of something like the hidden volumes in True Crypt: something that I can't be proved to have.