Alan Turing, Albert Einstein, Stephen Hawking, John Nash--these "beautiful" minds never fail to enchant the public, but they also remain somewhat elusive. How do some people progress from being able to perform basic arithmetic to grasping advanced mathematical concepts and thinking at levels of abstraction that baffle the rest of the population? Neuroscience has now begun to pin down whether the brain of a math wiz somehow takes conceptual thinking to another level. Specifically, scientists have long debated whether the basis of high-level mathematical thought is tied to the brain's language-processing centers--that thinking at such a level of abstraction requires linguistic representation and an understanding of syntax--or to independent regions associated with number and spatial reasoning. In a study published this week in Proceedings of the National Academy of Sciences, a pair of researchers at the INSERM–CEA Cognitive Neuroimaging Unit in France reported that the brain areas involved in math are different from those engaged in equally complex nonmathematical thinking.

At the GPU Technology Conference, Nvidia unveiled the Tesla P100, the latest addition to Nvidia's Tesla Accelerated Computing Platform (TACP). The accelerator unit is being marketed as the most advanced hyperscale datacenter accelerator ever built – with a claimed 12x improvement over the previous Maxwell architecture, thanks to the new Pascal architecture. Designed to provide the equivalent performance of hundreds of general purpose CPUs in a much smaller package, and with significantly lower opex costs, Nvidia is targeting the next-gen datacenter use cases, which consist largely of artificial intelligence applications – which require very different compute resources than most current datacenters can provide. Cloud computing and the supercomputing that powers dense data analytics are very important for the progression of the Internet of Things (IoT). With the image-recognition that will power computer visions, smart grid management, smart city operations, and the massive amounts of sensor data that need to be crunched to realize more efficient business practices, systems like Nvidia's provide a very capable alternative to gigantic arrays of general purpose compute resources in datacenters.

Above the Trend Line: machine learning industry rumor central, is a recurring feature of insideBIGDATA. In this column, we present a variety of short time-critical news items such as people movements, funding news, financial results, industry alignments, rumors and general scuttlebutt floating around the big data, data science and machine learning industries including behind-the-scenes anecdotes and curious buzz. Our intent is to provide our readers a one-stop source of late-breaking news to help keep you abreast of this fast-paced ecosystem. We're working hard on your behalf with our extensive vendor network to give you all the latest happenings. Be sure to Tweet Above the Trend Line articles using the hashtag: #abovethetrendline.

We focus on the problem of estimating and quantifying uncertainties on the excursion set of a function under a limited evaluation budget. We adopt a Bayesian approach where the objective function is assumed to be a realization of a Gaussian random field. In this setting, the posterior distribution on the objective function gives rise to a posterior distribution on excursion sets. Several approaches exist to summarize the distribution of such sets based on random closed set theory. While the recently proposed Vorob'ev approach exploits analytical formulae, further notions of variability require Monte Carlo estimators relying on Gaussian random field conditional simulations. In the present work we propose a method to choose Monte Carlo simulation points and obtain quasi-realizations of the conditional field at fine designs through affine predictors. The points are chosen optimally in the sense that they minimize the posterior expected distance in measure between the excursion set and its reconstruction. The proposed method reduces the computational costs due to Monte Carlo simulations and enables the computation of quasi-realizations on fine designs in large dimensions. We apply this reconstruction approach to obtain realizations of an excursion set on a fine grid which allow us to give a new measure of uncertainty based on the distance transform of the excursion set. Finally we present a safety engineering test case where the simulation method is employed to compute a Monte Carlo estimate of a contour line.

The 2016 winners were as follows: Tom Dietterich, AAAI President, for AAAI 2017 Awards, please Manuela Veloso, AAAI Past President contact Carol Hamilton at hamilton@aaai.org.

WWTS (What Would Turing Say?) Turing's Imitation Game was a brilliant Turing was heavily influenced by the World War II "game" If Turing were alive today, what sort of test might he propose? If a machine could fool interrogators as often as a typical man, then one would have to conclude that that machine, as programmed, was as intelligent as a person (well, as intelligent as men.) As Judy Genova (1994) puts it, Turing's originally proposed game involves not a question of species, but one of gender. The current version, where the interrogator is told he or she needs to distinguish a person from a machine, is (1) much more difficult to get a program to pass, and (2) almost all the added difficulties are largely irrelevant to intelligence! And it's possible to muddy the waters even more by some programs appearing to do well at it due to various tricks, such as having the interviewee program claim to be a 13-year-old Ukrainian who doesn't speak English well (University of Reading 2014), and hence having all its wrong or bizarre responses excused due to cultural, age, or language issues.

This page includes forthcoming AAAI sponsored conferences, conferences presented by AAAI Affiliates, and conferences held in cooperation with AAAI. AI Magazine also maintains a calendar listing that includes nonaffiliated conferences at www.aaai.org/Magazine/calendar.php. The Tenth International AAAI Conference 15th International Conference on 18th International Conference on on Web and Social Media Principles of Knowledge Representation Enterprise Information Systems ICWSM-16 will be held May 17-20, and Reasoning (KR 2016) KR ICEIS 2016 will be held April 27-30, 2016 in Cologne, Germany. IEA/AIE-2016 will be York, New York USA. to Washington DC USA. AAAI-17 will be held in January-February in New Orleans, Louisiana USA.

We review the First International Competition on Computational Models of Argumentation (ICMMA’15). The competition evaluated submitted solvers performance on four different computational tasks related to solving abstract argumentation frameworks. Each task evaluated solvers in ways that pushed the edge of existing performance by introducing new challenges. Despite being the first competition in this area, the high number of competitors entered, and differences in results, suggest that the competition will help shape the landscape of ongoing developments in argumentation theory solvers.

The dinner speech at the Fischerhuette was given by Jörg Siekmann (University of Saarbrücken). The poster session, consisting of 18 posters and demos, was jointly organized as a get-together with the Berlin Semantic Web Meetup. At the session, wine, beer, and finger food were provided in the greenhouses of the Computer Science Department at The Thirty-First AAAI Conference on Artificial Intelligence the Freie Universität Berlin. The organizers also used (AAAI-17) and the Twenty-Ninth Conference on Innovative this unique opportunity to hold a joint public Applications of Artificial Intelligence (IAAI-17), will be RuleML and RR business meeting as well as an invited held in New Orleans, Louisiana, USA, during the mid-January dinner with all chairs, and invited keynote speakers to mid-February timeframe. AAAI-17 August 1, a boat sightseeing tour from lake Wannsee will arrive in New Orleans just prior to Mardi Gras and festivities to the Reichstag on Sunday, August 2, the CADE exhibitions will already be underway.

This article proposes a new grand challenge for AI reasearch: to develop AI system to make major scientific discoveries in biomedical sciences that worth Nobel Prize. There are a series of human cognitive limitations that prevents us from making accerlated scientific discoveries, particularity in biomedical sciences. As a result, scientific discoveries are left behind at the level of cottage industry. AI systems can transform scientific discoveries into highly efficient practice, thereby enable us to expand our knowledge in unprecedented way. Such system may out-compute all possible hypotheses and may redefine the nature of scientific intuition, hence scientific discovery process.