Математики не призывают отказаться от ИИ в исследованиях. Декларация требует другого подхода: меньше рекламного шума, больше открытых данных, независимой проверки и ответственности за громкие заявления. ИИ может помогать искать идеи, проверять варианты и ускорять рутинную работу, но математическое доказательство по-прежнему должно выдерживать строгую экспертную проверку, а не только выглядеть убедительно в пресс-релизе.
Декларация одобрена Международным математическим союзом и включена в программу Международного конгресса математиков, который состоится в июле в Филадельфии. Документ открыт для подписания частными лицами и организациями, такими как национальные математические общества.Отдать свои исследования метаматематическому сообществу, это заведомо распрощаться с авторством!
Не верите?
Начнем с азов, как именно зародилась система воровства и присвоения
Глава первая
Харпедонаптаи: это первые, кого ограбили математики.
За пять тысяч лет до того, как какой-то грек сел на камень и начал рассуждать о точках, люди уже строили. Не на бумаге. На земле. Не для бога. Для выживания.
Каждый год Нил смывал границы. Каждый год начиналась драка за клочок земли. И каждый год приходили они — харпедонаптаи.
Не жрецы. Не философы. Не бородатые болтуны.
Рабочие. С верёвками, пропитанными смолой. С узлами. С тройкой, четвёркой, пятёркой. Они не доказывали. Они делали. Они знали: верёвка с двенадцатью узлами даёт прямой угол. Не потому что кто-то доказал. А потому что если бы не давала — пирамида рухнула бы.
Они не спрашивали «почему?». Они спрашивали «где?» — где твой участок, где твоя граница, где твоя справедливость. И они давали ответ.
Точный. Работающий. Тысячи лет.
А потом пришли греки. Греки: первые плагиаторы, которые стали «отцами»
Фалес не построил ни одной пирамиды. Пифагор не измерил ни одного поля. Евклид не держал в руках верёвку.
Но именно их имена написаны на учебниках.
Фалес приехал в Египет. Посмотрел. Увидел, как работают харпедонаптаи. И понял: эти люди знают, но не говорят. Их знание — в руках, в верёвке, в грязи. А если переложить это на слова — можно стать «первым».
И Фалес стал спрашивать: «Почему?» Не потому, что хотел понять. А потому, что вопрос даёт власть. Тот, кто спрашивает «почему», — ставит себя выше того, кто просто делает.
Фалес не построил ни одной пирамиды. Не измерил ни одного поля. Он перевёл чужой труд в свой статус.
Пифагор — ещё хуже. Он тоже был в Египте. Он тоже видел верёвку. И он присвоил треугольник 3-4-5. Он назвал его «своей» теоремой. Не потому, что открыл. А потому, что первым объявил.
Это не открытие. Это захват имени.
А Евклид — вершина воровской системы. Он не изобрёл ни одной теоремы. НИ ОДНОЙ. Он собрал всё, что было до него: египетскую практику, вавилонские таблицы, пифагорейские намётки. И переписал. Без ссылок. Без благодарностей. Без упоминания харпедонаптаев.
Он создал «Начала». Тринадцать книг. Там нет ни одного имени практика. Нет ни одной ссылки на Нил. Нет ни одного указания на то, что геометрия родилась из грязи, пота и ссор за землю. Евклид украл землемерие и назвал это «геометрией».
Академия любит говорить: «Мы не крадём, мы обобщаем. Мы даём практике язык».
Это ложь. Обобщение — это обезличивание. Это удаление имени. Это стирание контекста. Когда ты говоришь «геометрия» вместо «землемерие», ты отрезаешь землю от ног того, кто её мерил.
Когда ты говоришь «теорема Пифагора» вместо «египетская верёвка 3-4-5», ты назначаешь нового автора. Это работает как интеллектуальный офшор:-
Практик создаёт «грязные» деньги — знание, привязанное к месту, времени, риску, телу.
- Академия берёт эти деньги, переводит на мёртвый язык аксиом и доказательств.
- Контекст исчезает.
Автор исчезает.
- На выходе — «чистый» закон, подписанный греком. И никто не спрашивает: чьи это деньги?
Ал-Хорезми: судья стал «отцом алгебры»
IX век. Багдад. Ал-Хорезми пишет книгу не для философов. Для судей. Для купцов. Для землемеров. Там задачи:
- «Как разделить наследство?»
- «Сколько прибыли у купца?»
- «Как найти сторону поля?»
Это инструкция. Рецепт. Алгоритм. Слово, которое позже выведут из его имени, но забудут его работу. Он считал дирхамы. Он решал споры. Он не создавал «алгебру» — он создавал справедливость. А пришли «переводчики» и назвали это «уравнениями», «переменными», «коэффициентами».
Они оторвали рецепты от земли. Они сделали из судейского справочника — математическую дисциплину. И теперь каждый школьник знает «ал-Хорезми — отец алгебры». Но никто не знает ни одного судьи, который пользовался его книгой.
Конвейер снова сработал.
