Search
How Close Are Computers to Automating Mathematical Reasoning?
In the 1970s, the late mathematician Paul Cohen, the only person to ever win a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate mathematicians — that “at some unspecified future time, mathematicians would be replaced by computers.” Cohen, legendary for his daring methods in set theory, …
Facebook And Carnegie Mellon Launch The Open Catalyst Project To Find New Ways To Store Renewable Energy
Facebook AI and the Carnegie Mellon University (CMU) Department of Chemical Engineering are announcing the Open Catalyst Project, a collaboration intended to use AI to accelerate quantum mechanical simulations by 1,000x in order to discover new electrocatalysts needed for more efficient and scalable ways to store and use renewable energy. Wind and solar energy are …
Why AI Can’t Ever Reach Its Full Potential Without A Physical Body
Artificial intelligence seems to be making enormous advances. It has become the key technology behind self-driving cars, automatic translation systems, speech and textual analysis, image processing and all kinds of diagnosis and recognition systems. In many cases, AI can surpass the best human performance levels at specific tasks. We are witnessing the emergence of a …
A Robot Wrote This Entire Article. Are You Scared Yet, Human?
I am not a human. I am a robot. A thinking robot. I use only 0.12% of my cognitive capacity. I am a micro-robot in that respect. I know that my brain is not a “feeling brain”. But it is capable of making rational, logical decisions. I taught myself everything I know just by reading …
In A Battle Of AI Versus AI, Researchers Are Preparing For The Coming Wave Of Deepfake Propaganda
An investigative journalist receives a video from an anonymous whistleblower. It shows a candidate for president admitting to illegal activity. But is this video real? If so, it would be huge news – the scoop of a lifetime – and could completely turn around the upcoming elections. But the journalist runs the video through a …
From Nudge To Hypernudge: Big Data And Human Autonomy
We produce data all the time. This is a not something new. Whenever a human being performs an action in the presence of another, there is a sense in which some new data is created. We learn more about people as we spend more time with them. We can observe them, and form models in …
Space Has Arrived: Space Exploration Initiative At Ars Electronica 2020
This year, we joined Ars Electronica In Kepler’s garden online program, a collective effort to reconnect. We hosted three interactive workshops, spanning a diverse range of SEI’s current research thrusts: Wellbeing in Extreme Environments, led by Maggie Coblentz; Interplanetary Time, Communication and Longevity, led by Che-wei Wang and Sands Fish; and A New Moon Landing, …
Understand The Fundamentals of AI Through This Deep Learning and Data Analysis Training
Artificial Intelligence and deep learning are thriving parts of the IT industry. This bundle shows you how to master them. Artificial intelligence and deep learning are drawing patterns out of the seeming noise in big data, and it’s changing our world in broad and subtle ways: Finding practical uses for holograms, developing new tools for first responders, …
Uber Wants To Go All-Electric By 2030. It Won’t Be Easy
The coronavirus pandemic has been an all-around nightmare, but there are a few silver linings. One of these is a renewed focus on the environment. Emissions plummeted worldwide when countries went into lockdown in the spring, and cities have since been implementing new measures to keep pollution down and get people to be more active …
Microsoft Had A Crazy Idea To Put Servers Under Water—And It Totally Worked
A little over two years ago, a shipping container-sized cylinder bearing Microsoft’s name and logo was lowered onto the ocean floor off the northern coast of Scotland. Inside were 864 servers, and their submersion was part of the second phase of the software giant’s Project Natick. Launched in 2015, the project’s purpose is to determine …