At the end of the forum yesterday afternoon, the mathematics laureates took questions from the audience. One of the questions was about the role of computers in checking and generating proofs. The ...

A student goes over an article in University of Washington’s computer ethics class, taught by Prof. Dan Grossman. Credit: Ken Lambert/The Seattle Times The Hechinger Report covers one topic: education ...

For as long as Jake Price has been a teacher, Wolfram Alpha — a website that solves algebraic problems online — has threatened to make algebra homework obsolete. Teachers learned to work around and ...

Programmers normally want to minimize the time their code takes to execute. But in 1962, the Hungarian mathematician Tibor Radó posed the opposite problem. He asked: How long can a simple computer ...