When will a SOTA model beat the best mathematician on earth? Similar to Chess and Go examples. It has to be getting close.