Get the latest Science News and Discoveries

The biggest controversy in maths could be settled by a computer

For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the proof into a computer-readable form may finally settle the matter

None

Get the Android app

Or read this on New Scientist

Related news:

Physicists argue that the universe’s fundamental structure transcends algorithmic computation based on mathematical proofs and cannot be a computer-generated reality, suggesting that the simulation hypothesis does not fit under current physics.

Computer-based design for custom proteins - EurekAlert!

The maths behind early morning awakenings, the effects of evening light and the naps of babies - EurekAlert!

« Canada Just Lost Its Measles-Free Status. The U.S. Could Soon Follow

Study sheds new light on how hormones influence decision-making and learning - EurekAlert! »