Illustration accompanying an article about how AI could soon crack some of math's toughest proofs.

Client: Live Science
AD: Tia Ghose
Read the full article here