Насколько эффективен искусственный интеллект в математике?

Question

Допустим скормить ему кучу разных теорем, а потом попросить решить базельскую проблему. Были ли такие попытки?

Answer 1

Насчёт мировых задач не знаю, а в простой математике с уравнениями или интегралами даже браузерские калькуляторы справляются. Только переменные или данные впиши.

Answer 2

Программы позволяют освободить естественный интеллект от рутинной работы. Гипотеза о раскраске карты (4х красок) доказана с помощью программы и стала теоремой. Формальные преобразования, типа вычисления производных и интегралов, давно уже стали выполняться программно.
А про искусственный интеллект забудьте, это словосочетание для лохов.

Answer 3

Некоторые рассказчики и некоторые слушатели превратно понимают что значит скормить ИИ (точне нейросети) какую то задачу
ИИ пока не совсем Интеллект. Это вещь которая может после обработки какого то кусочка запомнить процесс и повторить его без вмешательства программиста.
Поэтому до ИИ как в фильмах этому Недоинтеллекту как до Китая раком.