Google

Computer Proof Race 2880 Lede 1024x521

How Close Are Computers to Automating Mathematical Reasoning?

computer science, Features, Math stories, Tech /

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 »

R20190201 Cover E1550941576664

Can self-driving cars make roads safer and less congested?

Features, self-driving cars, Tech /

Pedestrians in downtown Miami one weekday last November might have noticed something unusual about the blue Ford Fusions threading their way through the city’s congested streets. An odd-looking array of cameras and sensors sat atop each car’s roof. And inside, the person in the driver’s seat almost never touched the steering wheel. Unlike the conventional

Can self-driving cars make roads safer and less congested? Read More »