Get the latest Science News and Discoveries

Should all mathematical proofs be checked by a computer?

None

Get the Android app

Or read this on New Scientist

« Weather Warning Inequity: Lack of Data Collection Stations Imperils Vulnerable People

Gravitational waves could help us find out how fast the universe's expansion is accelerating »