Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable ...

We speak to Cern principal scientist Archana Sharma about pattern recognition, machine learning and quantum technology.