Well, I guess the key is to reward the humans that will "merge" the work done by AI into math.