“Current AI reasoning models have not yet produced a novel mathematical concept that is considered interesting by human mathematicians.”