Five years ago, computer scientist Alan Fern and his colleagues at Oregon State University, in Corvallis, set out to answer one of the most pressing questions in artificial intelligence (AI): Could they understand how AI reasons, makes decisions, and chooses its actions? The proving ground for their exploration was five classic arcade games, circa 1980,
Peering inside the black box of AI Read More »
PUBLISHED NOVEMBER 20, 2021 The past decade has seen machine learning—finding patterns in vast piles of data—in a state of vibrant growth. The number of life science papers on machine learning numbered just under 600 in 2010; by 2019, there were more than 12,000. The applications in medicine are potentially lifesaving and include the ability
AI, Explain Thyself Read More »
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 »
In 1998, a few dozen computer scientists and mathematicians gathered at a picturesque seaside resort on the Tuscan island of Elba off the west coast of Italy. They were there to attend a scientific gathering unlike any other. The 17 presentations suggested peculiar offerings. One explored an algorithmic answer to the question, “What if mathematicians
“What if mathematicians were asked to defuse bombs?” Read More »
