SoylentNews is people
SoylentNews
Intel is acquiring computer vision startup Movidius for an undisclosed sum in order to bolster its RealSense gesture-sensing platform:
Today, [Intel] announced that it is acquiring the computer vision startup behind Google's Project Tango 3D-sensor tech, Movidius.
In a blog post, Movidius CEO Remi El-Ouazzane announced that his startup will continue in its goal of giving "the power of sight to machines" as it works with Intel's RealSense technology. Movidius has seen a great deal of interest in its radically low-powered computer vision chipset, signing deals with major device makers, including Google, Lenovo and DJI.
[...] "We're on the cusp of big breakthroughs in artificial intelligence," wrote El-Ouazzane. "In the years ahead, we'll see new types of autonomous machines with more advanced capabilities as we make progress on one of the most difficult challenges of AI: getting our devices not just to see, but also to think."
The company's Myriad 2 family of Vision Processor Units are being used at Lenovo to build the company's next generation of virtual reality products while Google struck a deal with the company to deploy its neural computation engine on the platform to push the machine learning power of mobile devices.
(Score: 2) by nishi.b on Thursday September 08 2016, @01:01PM
Ok, I can hear this argument, but I would like an example of something that no algorithm can prove (such as if a program will run forever or not) that a human can really determine and prove, not just using heuristics.
As you are a mathematician (and I am not), you may correct my belief that mathematical proofs can be represented in a digital form, and thus be as understandable to a computer as to a human : if by analysing branches, you can tell whether a program will ever stop, what stops a computer from doing so ?
We still do not have a proof that P != NP, so I would not call that a problem solved by humans, even if we largely assume this is the case because there is no obvious way to replace an NP algorithm by a P algorithm (or we would have found it already).