การจำแนก: ปัญญาเหนือมนุษย์ทางคณิตศาสตร์อัตโนมัติ