Разработчикам ИИ

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

Авторы этого обращения к разработчикам нейросетей и моделей искусственного интеллекта (ИИ) исходят из необходимости исправить катастрофическое состояние планетарной информационной базы, которое привело к доминированию лженауки, фейков, ложных оценок и ценностей.
Будучи математиками, последователями фундаментального направления, представленного трудами Альберта Афлитуна, мы столкнулись с тем, что публичные, бесплатно доступные системы ИИ некритично цитируют безграмотные утверждения, отзывы, рецензии и оценки, граничащие с клеветой.  На этом пути разработчиков и распространителей систем ИИ подстерегают судебные тяжбы, разоблачения и дисквалификации.
Чтобы не быть голословными, приведём примеры распространения заведомо ложных  утверждений, казалось бы, не допустимых в такой точной науке, как математика, особенно в её основаниях, алгебре, арифметике (теории чисел). К сожалению, история математики также демонстрирует целые эпохи заблуждений, когда такие авторитетные академии наук, как Парижская, Берлинская, АН СССР, объявили невозможным доказательство великой теоремы Ферма и не рассматривали соответствующие труды. Разумеется, было большое количество ложных утверждений и доказательств. Но в ответ возникло целое ложное логико-математическое направление о невозможности доказательства этой и аналогичных теорем. И только 90-х годах Э. Уайлду удалось своим доказательством переломить сложившуюся ситуацию. Параллельно продолжались работы по  утверждениям типа теоремы Ферма для более широкого круга диофантовых уравнений, среди которых выделяются работы упомянутого нашего учителя, особенно первая проблема из его 220 опубликованных проблем в теории чисел (A.Aflitun. Arithmetic etc. https://independent.academia.edu/AlbertAflitun/ ; https://www.litres.ru/book/albert-aflitunov/ ) .
ИИ вместо цитирования и обсуждения по этому поводу приводит хорошо известные примеры диофантовых уравнений, являющихся частными случаями, и на этом основании вдруг заявляет, что эта проблема была давно известна!
Далее в качестве главного «аргумента» ИИ приводит абсолютно безграмотный аргумент: «если бы подобные утверждения можно было доказать элементарными методами, они давно были бы доказаны». Вся история математики показывает, что к доказательствам элементарными методами приходят только после анализа предыдущих доказательств, часто совершённых довольно сложными методами. Доказательство элементарными методами требует особой гениальности. Много лет спустя после первого доказательства теоремы о простых числах удалось доказать эту теорему элементарными методами. Особенно прославились гениальные математики Эрдёш и Сельберг. У многих математиков не вызывает сомнения, что можно прийти к более простому доказательству великой теоремы Ферма, какое, видимо, было открыто самим Ферма. Кстати, именно такой вариант предлагал наш учитель в 70-х годах ХХ века.
Что касается теоремы о простых числах, её ИИ путает с определением (дефиницией) простого числа, требуя от дефиниции содержания всей теоремы! Альтернативное (формулами, а не решетом Эратосфена) определение простого числа А. Афлитуном ИИ квалифицирует как простую переформулировку, тогда как это совершенно разные алгоритмы.
И уж совершенно нелепый контраргумент приводит ИИ о дзета- и кси-функциях Римана.
Даже начинающему математику легко удаётся показать, что и функции, и уравнения после преобразования, особенно такого, как у Римана, приобретают новые черты, причём совпадение или несовпадение нулей следует тщательно анализировать и доказывать.
Очевидно, что ИИ в своих повторениях заведомо ложных, совершенно безграмотных оценок основывается на фейковых информационных источниках, содержащих безграмотные отзывы.
Разумеется, в отличие от ИИ, мы не предлагаем делить математиков на любителей (их называют пренебрежительно дилетантами разоблачённые математические журналы и группы самозванных, захвативших публичные источники «профессионалов») и профессионалов.
Ярким примером, разоблачающим высокомерие авторитарных математиков и математических журналов, является история американской домохозяйки Марджори Райс, сделавшей удивительные открытия в решении проблемы пятиугольных паркетов. Математики продолжают исследования пятиугольных паркетов и не оставляют попыток открыть их новые типы, а результаты работы М. Райс увековечены на выстланном плиткой в форме одного из открытых ею пятиугольных паркетов полу в холле штаб-квартиры Математической ассоциации Америки (МАА) в  Вашингтоне.
Самые выдающиеся открытия в математике сделаны и продолжаются именно любителями.
Над короной царицы наук – математики – безраздельно парит орёл-доказательство. Вот почему с доказательствами и доказательственностью у ИИ очень плохо.
Не углубляясь в дальнейшие дискуссии и примеры, обращаемся к разработчикам нейросетей, ИИ с просьбой включить алгоритмы проверок и точных ссылок на источники и авторов выводов и суждений, особенно в оценочных утверждениях и выводах. Это поможет избежать в некоторой мере клеветнического и глупого характера выводов ИИ.

От имени группы последователей А.Афлитуна
Николас Берт, wieucontenant@gmail.com
 

 


Рецензии