Artificial intelligence models have demonstrated capabilities in solving complex mathematical problems that resisted human solutions