## computer science

Proof is the essence of mathematics. But is the standard of proof in research maths really as high as mathematicians would like to believe?

Should machines be allowed to make decisions that impact people's lives?

Will sophisticated algorithms one day replace mathematicians?

Find out how a little bit of maths can enable a machine to learn from experience.

Chess computers were one of the first step towards developing a form of AI. Here's a brief history.

The pioneering mathematician talks about his work, computer science and artificial intelligence.

We talk to pioneering mathematician Stephen Cook, who came up with the concept of NP-complete problems, about his work, computer science, and artificial intelligence.

There are problems that are easy to solve in theory, but impossible to solve in practice. Intrigued? Then join us on a journey through the world of complexity, all the way to the famous P versus NP conjecture.

PhD student Yipeng Huang talks to us about his work in analog computing.