Problème mythique résolu par une IA : Terence Tao craint que la machine s'acharne sur des maths inutiles