AI mathematics proof