Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?