Computers are coming up with proofs in mathematics that are almost impossible for a human to check.
Shutterstock/Fernando Batista
Computers are increasingly used to prove mathematical theorems. So does that mean human mathematicians will become obselete?
Wait, what was that? You lost me.
Notations image via www.shutterstock.com.
A Japanese mathematician says he's proved a famous unsolved conjecture. The problem is, nobody can understand the solution he's put forth.
There is beauty in mathematical ideas and proofs.
lucapost
Poetry is at the heart of technology. Did not Pythagoras find the connections between beautiful music and mathematics?