List of mathematical discoveries by artificial intelligence