"Искусственный интеллект в математике - универсальный математический решатель" - читать интересную книгу автора (Кублановский С.И., Матиясевич Ю.В.)