How an AI math breakthrough ig... Note