Kann KI mathematische Beweise führen?