What's up in

# proofs

## Latest Articles

### Computer Science Proof Unveils Unexpected Form of Entanglement

Three computer scientists have posted a proof of the NLTS conjecture, showing that systems of entangled particles can remain difficult to analyze even away from extremes.

### How Do Mathematicians Know Their Proofs Are Correct?

What makes a proof stronger than a guess? What does evidence look like in the realm of mathematical abstraction? Hear the mathematician Melanie Matchett Wood explain how probability helps to guide number theorists toward certainty.

### Can Computers Be Mathematicians?

Artificial intelligence has bested humans at problem-solving challenges like chess and Go. Is mathematics research next? Steven Strogatz speaks with mathematician Kevin Buzzard to learn about the effort to translate math into language that computers understand.

### The Computer Scientist Who Parlays Failures Into Breakthroughs

Daniel Spielman solves important problems by thinking hard — about other questions.

### How Computer Scientists Learned to Reinvent the Proof

Why verify every line of a proof, when just a few checks will do?

### How to Write Software With Mathematical Perfection

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.

### In Music and Math, Lillian Pierce Builds Landscapes

Lillian Pierce wants to transform access to the world of mathematics, while making headway on problems that bridge the discrete and continuous.

### In New Math Proofs, Artificial Intelligence Plays to Win

A new computer program fashioned after artificial intelligence systems like AlphaGo has solved several open problems in combinatorics and graph theory.

### Machine Learning Becomes a Mathematical Collaborator

Two recent collaborations between mathematicians and DeepMind demonstrate the potential of machine learning to help researchers generate new mathematical conjectures.