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…
Writings
Whales get a second life as deep-sea buffets
Last October, a team of marine explorers sent Hercules — a remote-controlled vehicle — to the bottom of the ocean. Its mission:…
Your Hyperbolic Mind
The human brain is both a marvel and a mystery of evolution: Packed into a volume about one-quarter that of…
Trees power this alarm system for remote forest fires
Scientists in Michigan have developed a forest fire alarm system. It not only can detect when a blaze begins but…
Symbolic mathematics finally yields to neural networks
More than 70 years ago, researchers at the forefront of artificial intelligence research introduced neural networks as a revolutionary way…
A table tennis table that will up your game
Zhong Lin Wang started playing table tennis only four years ago. But last year, he and other researchers came up…
Can CRISPR deliver?
SCIENTISTS HAVE SPENT DECADES mapping the tens of thousands of genes encoded in human DNA. They want to understand how genes…
“What if mathematicians were asked to defuse bombs?”
In 1998, a few dozen computer scientists and mathematicians gathered at a picturesque seaside resort on the Tuscan island of…
Exotic super magnets
ONE April night in 1820, the Danish experimentalist Hans Christian Øersted made a remarkable discovery. By bringing an electrical wire…
Hotspots for superbolts
Not every lightning strike is the same. Some skip from cloud to cloud. Others strike the ground, delivering a shocking…