Derek Manky, global security strategist at Fortinet, said that the world is seeing more and more automation being built into black hat attackers' attack technology. What this means is, the time to respond to cyber-attack is shrinking drastically. Ten years ago, weeks or days to respond to a cyber-attack was adequate. Today, "we begin to measure in minutes (less than an hour)". "In the future, we will start measuring this in seconds. Humans cannot operate on this level, and therefore AI is crucial to respond at machine speed to the threat of cyber-attack," he said.

Airbus' Perlan 2 aircraft has made history this week, setting a new world altitude record for gliding. The aircraft soared to an incredible 52,000 feet over the Patagonia region of Argentina, without the support of an engine. The flight takes Airbus one step closer to its ultimate goal of sending an engine-less aircraft to the edge of space. Airbus' Perlan 2 aircraft has made history this week, setting a new world altitude record for gliding. Because it lacks an engine, Perlan 2 can explore the edge of space without polluting the atmosphere.

The trade deficit had narrowed in the spring as exports of U.S. computer products and farm goods rose. U.S. exporters benefited from a decline in the value of the dollar, which makes American products cheaper overseas. Solid global growth also helped, as economies from Europe to Asia to Latin America are expanding simultaneously. Exports in June were the highest in 2 ½ years.

Elon Musk is worried about governments, specifically the Russian one, competing for artificial intelligence superiority and sparking World War III. That shocking statement was made all the more shocking by the low expectations the world seems to have for Russia, which US Senator John McCain dismissed just a few years ago as a "gas station masquerading as a country." Recent remarks by Russian President Vladimir Putin grabbed Musk's attention. Speaking to schoolchildren about AI on 1 September, Putin declared, "Whoever becomes the leader in this area will rule the world." Musk's response emerged on Twitter: "It begins..." Actually, Russia isn't "beginning" anything when it comes to AI.

Elon Musk is worried about governments, specifically the Russian one, competing for artificial intelligence superiority and sparking World War III. That shocking statement was made all the more shocking by the low expectations the world seems to have for Russia, which U.S. Senator John McCain dismissed just a few years ago as a "gas station masquerading as a country." Recent remarks by Russian President Vladimir Putin grabbed Musk's attention. Speaking to schoolchildren about AI on Sept. 1, Putin declared, "Whoever becomes the leader in this area will rule the world." Musk's response emerged on Twitter: "It begins..." Actually, Russia isn't "beginning" anything when it comes to AI.

It's only been a few weeks into the year 2017, but we're already starting to see the future of technology come to light with smarter speakers, smarter cars, and even smarter pillows. With all the new announcements on technology and gadgets galore, we're super excited to see where the future of embodied cognition takes us. With Watson and Intu, smarter gadgets not only take in the input of the environment around them to provide a response, but also can reason, learn, and act out a response. Take for example a smart speaker that knows to turn on music at 6pm when the owner gets home from work. Intu, using Watson services, allows the smart speaker to also take in the weather or traffic alerts to know if there will be delays and hold off on turning the music on at 6pm, dynamically learning and reasoning how to act.

Russian President Vladimir Putin says that whoever reaches a breakthrough in developing artificial intelligence will dominate the world. Speaking at a meeting with students on Friday, Putin said the development of AI raises "colossal opportunities and threats that are difficult to predict now." He warned that "the one who becomes the leader in this sphere will be the ruler of the world." Putin warned that "it would be strongly undesirable if someone wins a monopolist position" and promised that Russia would be ready to share its know-how in artificial intelligence with other nations. The Russian leader predicted that future wars will be fought by drones, and "when one party's drones are destroyed by drones of another, it will have no other choice but to surrender."

This year's Global Litigation 50 report focuses on a subject that has never been more topical – the inexorable rise of technology across all stages of the litigation process. Providing clients with a service that is as fast as possible, of the highest quality, rigorous and yet still cost-effective is of paramount importance to the world's top law firms. This is why the commercial market for these services is booming – and why over the past decade, and particularly the past three to five years, leading litigation practices have been driving forward a plethora of tech-enabled initiatives to enhance the delivery of their legal services to clients. This year's edition of The Lawyer Global Litigation 50 contains dozens of examples of cost-effective innovations from the leading litigation practices. Frankly, firms have no alternative. Clients are demanding this approach and rivals that aren't law firms are increasingly providing it.

Machine learning has already extended into so many aspects of daily life that it can be handy for us to memorize a set of go-to examples of its impact on certain industries. For instance, we might think of fraud detection as the canonical example of machine learning in the financial sector. Or we might think of Watson's cognitive approach to oncology as the canonical example of machine learning in healthcare. Or, yet again, we might point to recommendation engines at Netflix and Amazon as canonical examples of machine learning in retail. If you are interested to try out new IBM's Watson Machine Learning service - click here To try the Data Science Experience - subscribe for the free trial Certainly, those are tremendous demonstrations of the power of the technology -- and in aggregate, they give a sense of machine learning's pervasive presence in our lives.

G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis.