AI:s jakt på matematikens största mysterier

Nu kan AI vara på väg att gå om världens mattegenier.