может решить любую конкретно поставленную задачу и привести полное доказательство
мы рассматриваем этот крайний, экстремальный случай
Я думаю, это не крайний и экстремальный случай. Я думаю, что ИИ вполне сможет (и уже неплохо пытается с переменным успехом) давать ответы и на неконкретные вопросы тоже, т.е. догадываться, какой за ними может стоять точный разумный смысл, возможно непонятный самому спрашивающему.
Более того, такую задачу ИИ-компании перед собой ставят и явно - чтобы ИИ мог не только отвечать на вопросы, но и формулировать, на какие именно точные вопросы, связанные с темой беседы, стоит искать ответы.
Может ли случиться так, что стиль работы математика такой, что он просто не сможет применить этот ИИ в своих исследованиях?
Или это бред по-вашему? такого не может быть в принципе? или если и может такое случиться, то такому математику вообще не место в научном сообществе?
Непонятно, что Вы хотите сказать этими вопросами. Кому место, а кому не место в научном сообществе, определяется результатами - есть ли в них научная новизна и актуальность. (Хотя фраза "не место в научном сообществе", пожалуй, слишком грубая в любом случае; например, если человек хороший преподаватель, постоянно изучает новые разделы математики и делится изученным со студентами, но при этом не имеет своих научных результатов - относить ли его к научному сообществу? по-моему, вопрос терминологии.) Сейчас всё больше математиков используют ИИ, но есть и те, что не используют, например из каких-то принципиальных соображений. На данный момент пользу для науки приносят и те и другие. Как будет дальше, посмотрим дальше. Развитие ИИ сейчас очень быстрое - оно может опередить самые смелые фантазии, а может и не опередить их; уверенно предсказывать здесь что-нибудь рано.
