Acclaimed mathematician awarded provisional AI patent