Tech

Computer Proof Race 2880 Lede 1024x521

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, predicted

How Close Are Computers to Automating Mathematical Reasoning? Read More »

FB.nn 1024x651

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 to think about how the brain works. In the human brain, networks of billions of connected neurons make sense of sensory data, allowing us to learn from experience. Artificial neural networks can also filter huge

Symbolic mathematics finally yields to neural networks Read More »

Strange 1024x577

How math makes movies like Doctor Strange so otherworldly

For wild chase scenes, it’s hard to beat Doctor Strange. In this 2016 film, the fictional doctor-turned-sorcerer has to stop villains who want to destroy reality. To further complicate matters, the evildoers have unusual powers of their own. “The bad guys in the film have the power to reshape the world around them,” explains Alexis Wajsbrot. He’s a

How math makes movies like Doctor Strange so otherworldly Read More »