Случаи математических исследований где ИИ только мешает

[SergeyGubanov]

Kuga в сообщении #1737470 писал(а):

может решить любую конкретно поставленную задачу и привести полное доказательство

Сергей Марков (тот который охотится на электроовец) в таком случае приводит пример решения задачи игры в шахматы полным перебором: шахматная программа полного перебора пишется элементарно, но выполнятся она будет больше времени жизни Вселенной. Так что решить-то оно может и решит, но вы не дождётесь.

[vpb]

Anton_Peplov в сообщении #1737637 писал(а):

притомился в каждом посте на подобные темы выписывать "я не математик, но думаю так".

Случайный посетитель форума об этом вполне может и не знать. Например, я не уверен, что ТС знает. А ваше сообщение было написано во-первых, без всяких дисклеймеров, и, во-вторых, очень уверенным тоном, с превосходными степенями. Поэтому читатель мог его воспринять как надежное мнение специалиста, которому можно доверять без оглядок. Тем более что оно и начиналось с категоричного утверждения, и категоричным же утверждением и заканчивалось.

Впрочем, можно было бы достигнуть той же цели информирования читателя, и не упоминая неприятный для вас факт впрямую. Извините, если задел.

[mihaild]

vpb в сообщении #1737616 писал(а):

Позвольте узнать, а какие у вас основания для такого решительного утверждения ?

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

vpb в сообщении #1737616 писал(а):

С другой стороны, и у меня опыт использования ИИ практически нулевой.

Опыт использования ИИ, описанного в стартовом посте, у абсолютно всех строго нулевой.

(Оффтоп)

vpb в сообщении #1737678 писал(а):

Поэтому читатель мог его воспринять как надежное мнение специалиста, которому можно доверять без оглядок.

А если бы то же самое мнение написал человек, у которого есть личный опыт - оно у Вас возражений бы не вызвало, Вы бы с ним сразу согласились? Если нет - то и стоило бы ИМХО сразу написать содержательные возражения, а не ad hominem.

[High-trade]

Kuga в сообщении #1737435 писал(а):

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

Может ли случиться так, что стиль работы математика такой, что он просто не сможет применить этот ИИ в своих исследованиях?
Или это бред по-вашему? такого не может быть в принципе? или если и может такое случиться, то такому математику вообще не место в научном сообществе?

Число Pi точно посчитать невозможно, делают модели с заданной точностью для нужной задачи, ИИ - это тоже математика и пока старая 18 века - градиентный бустинг итд, новую, вероятно, внедрят позднее, будет быстрее и точнее. Но, ответы, будут опять с заданной точностью генериться.

Процесс будет бесконечным.