Machines Are Inventing New Math We’ve Never Seen