В мире ИИ знаменитая аналогия «король – мужчина + женщина = королева» раскрывает скрытую геометрическую структуру нашего языка. Это вдохновило на смелый вопрос: а обладает ли простая повседневная арифметика собственной уникальной «формой»? Что, если мы будем рассматривать базовые операции вроде «+1» и «×2» не просто как инструкции, а как перемещения по неизведанной карте? Но когда мы начали рисовать эту карту, мы обнаружили нечто поразительное…
Наша история начинается, как и многие современные рассказы о структуре и смысле, со знаменитой аналогии векторного представления слов:
король – мужчина + женщина = королева
Это уравнение завораживает, потому что оно предполагает: смысл не случаен. У него есть форма. В мире встраивания слов такие понятия, как «король» и «женщина», представлены в виде точек в пространстве высокой размерности. Связи между ними, такие как «пол» или «монархия», представлены в виде векторов — направленных линий, соединяющих эти точки. Магия параллелограмма заключается в том, что вектор от «мужчины» к «королю» почти идентичен вектору от 1 «женщины» к «королеве». Эта наблюдаемая геометрическая регулярность позволяет нам ориентироваться в пространстве смыслов.
Но стандартный подход имеет скрытую иерархию: понятия (слова) являются первичными сущностями (точками), в то время как отношения (векторы) вторичны и производны от положений точек. Эта регулярность — прекрасное, но часто приближенное эмерджентное свойство.
Это привело нас к другому, более радикальному вопросу. Что, если рассматривать эту регулярность не просто как наблюдение, а как строгий основополагающий закон? Что, если построить мир, в котором сами отношения столь же фундаментальны, как и соединяемые ими понятия? В таком мире операция вроде «прибавить один» была бы не просто действием над числом, а первоклассной геометрической сущностью наравне с самим числом. Этот единственный философский сдвиг — рассмотрение понятий и отношений как равных — является истинной отправной точкой нашего путешествия. Он заставляет нас задаться вопросом: какая геометрия возникает, когда мы требуем этой идеальной, универсальной регулярности?
Первое испытание: аналогия рушится
Самое базовое место для проверки этого нового принципа — арифметика. Наши понятия — это числа (например, произвольное число α), а отношения — это операции (например, «+1» и «×2»). Если мы требуем универсальной регулярности, то порядок применения этих отношений не должен иметь значения для геометрии. Должен получиться параллелограмм.
Давайте проведем эксперимент. У нас есть два пути из α:
1. Путь 1 (применить отношение «+1», затем «×2»): (α + 1) × 2 = 2α + 2 2. Путь 2 (применить отношение «×2», затем «+1»): (α × 2) + 1 = 2α + 1
Наш строгий принцип немедленно приводит к противоречию. Два пути не ведут к одному и тому же результату. Параллелограмм не замыкается.
Это больше не просто несостоявшаяся аналогия. Это первое крупное открытие, порожденное нашим новым принципом. Оно говорит нам, что геометрия, в которой понятия и отношения равны, не может быть простым плоским евклидовым пространством, к которому мы привыкли. Операции сложения и умножения не коммутативны, и эта некоммутативность должна быть фундаментальной особенностью нашего нового геометрического мира.
Взрыв сложности и потребность в новой геометрии
Этот сбой имеет ошеломляющие последствия. Поскольку порядок операций имеет значение, каждая уникальная последовательность операций создает отдельное арифметическое выражение. (α + 1) × 2 принципиально отличается от ** (α × 2) + 1** . Это приводит к комбинаторному взрыву. Количество возможных выражений растет экспоненциально с увеличением числа операций. Представьте себе огромную, постоянно ветвящуюся «библиотеку всех возможных вычислений».
Теперь представьте, что каждое из этих уникальных выражений должно занимать уникальную область в нашем геометрическом пространстве. Сколько «места» нам понадобится? В стандартном евклидовом пространстве (плоском пространстве школьной геометрии) объем шара растет полиномиально с его радиусом (например, ** r²** для круга, r³ для сферы). Пространство с полиномиальным ростом похоже на маленькую книжную полку; оно просто не способно вместить экспоненциально растущую библиотеку. В нем почти сразу закончится место.
Это заставляет нас искать другой вид геометрии, емкость которого растет экспоненциально. Сама математика говорит нам, что наш привычный плоский мир — не подходящая сцена для этой пьесы. К счастью, такая геометрия существует: гиперболическое пространство. Неудача с параллелограммом — это не баг, а фишка, указывающая нам прямо на искривленный гиперболический мир.
Краткая экскурсия по гиперболическому пространству
Итак, что же такое это «гиперболическое пространство»? Проще всего понять его, начав с «плоского» евклидового пространства, которое мы все знаем. Определяющее правило плоского пространства — аксиома параллельности: через точку, не лежащую на прямой, проходит ровно одна прямая, параллельная данной. Гиперболическая геометрия получается тогда, когда это правило меняется.
В гиперболическом пространстве через точку, не лежащую на прямой, проходит бесконечно много прямых, параллельных данной.
Это трудно представить в голове, но хорошая аналогия — поверхность седла или чипса Pringles. Эта форма обладает так называемой «отрицательной кривизной». На такой поверхности линии, которые вы могли бы счесть параллельными, на самом деле расходятся друг от друга, открывая все больше и больше пространства между ними.
Это «расхождение» имеет драматический эффект: пространство расширяется гораздо быстрее плоского. Как уже упоминалось, площадь или объем круга в этом пространстве растет экспоненциально с ростом его радиуса. Эта безграничная, быстро расширяющаяся природа — именно то, что нам нужно. Она предоставляет более чем достаточно «места» для размещения экспоненциальной сложности арифметических выражений. Наглядный способ почувствовать это — знаменитые гравюры М. К. Эшера «Предел круга», представляющие собой художественную визуализацию гиперболического пространства. Заметьте, как ангелы и демоны кажутся все меньше по мере приближения к краю, что позволяет бесконечному их числу уместиться внутри конечного круга.
Рисуем гиперболическое пространство: модель верхней полуплоскости
Аналогии с седлом и Эшером полезны для интуиции, но для реальной работы нам нужна конкретная карта. Один из самых мощных способов изображения гиперболического пространства — модель верхней полуплоскости.
Представьте себе стандартную двумерную плоскость с координатами (x, y) . Верхняя полуплоскость — это просто вся область, где y > 0 . Вся магия заключается в том, как мы определяем «расстояние» и «прямые линии» (геодезические) на этой карте.
- Расстояние обманчиво: геометрия искажена. Чем глубже вы находитесь в плоскости (чем меньше y), тем «меньше» становится ваша линейка. По мере продвижения вверх к большим значениям y ваша линейка фактически «растет», и вы можете покрыть то, что кажется большим расстоянием, всего за несколько шагов. Ось x при y=0 — это граница, которая находится бесконечно далеко от любой точки внутри плоскости. Путешествие от y=1 до y=0.1 значительно длиннее, чем путешествие от y=10 до y=9 .
- Прямые линии искривлены: «Прямая линия» — это кратчайший путь между двумя точками. На этой искаженной карте кратчайшие пути принимают две формы: это может показаться странным, но эта модель идеально отражает все правила гиперболической геометрии. Самое главное для нас — она дает нам конкретную систему координат (x, y), на которой мы можем строить нашу теорию.
Имея в виду это новое пространство, мы можем вернуться к нашим поиском.
Новая физика для чисел: Уравнение потока
Вместо того чтобы рассматривать числа как статические точки, что если мы представим их вычисление как динамический процесс? Давайте проведем мысленный эксперимент. Представьте себе крошечную лодку на странном море. На эту лодку в этом море действуют две силы:
- Постоянное течение, которое всегда толкает ее в одном направлении (скажем, «на север»). Это наша аддитивная сила.
- Странное «растяжение» самой воды, которое толкает лодку «на восток» с силой, зависящей от того, как далеко от «южного берега» она уже находится. Это наша мультипликативная сила.
Какой путь проложит лодка? Математическое описание этого пути — это то, что мы называем Уравнением потока: = ds da μ cos θ + aλ sin θ
Давайте разберем это уравнение, связав его с нашей аналогией с лодкой:
- da/ds: Это скорость нашего значения, a, по мере того как мы продвигаемся на крошечное расстояние ds через наше геометрическое пространство.
- μ cosθ: Это аддитивный фактор. Это постоянное течение. Параметр μ — его сила. Этот член представляет сложение.
- aλ sinθ: Это мультипликативный фактор. Это сила «растяжения», пропорциональная текущему значению a. Параметр λ — его сила. Этот член представляет умножение.
- θ: Это просто направление, в котором рулит лодка. Если она рулит строго «на север» (θ=0), она чувствует только аддитивное течение. Если она рулит строго «на восток» (θ=90°), она чувствует только мультипликативное растяжение. Руление под любым другим углом смешивает эти две силы.
Параметры μ и λ подобны «арифметическим генам» пространства, определяющим его фундаментальный характер. Это уравнение предполагает, что мы можем построить геометрическое пространство, где само движение кодирует арифметику. Но существует ли такое пространство на самом деле?
Ответ — да. И первый конкретный, «чудесный» пример — это математический объект, который мы называем пространством арифметических выражений первого рода (E1). Мы можем построить его на той самой карте, которую мы только что обсудили: гиперболической верхней полуплоскости. В этом пространстве мы можем нарисовать сетку, где движение вдоль горизонтальных синих линий соответствует сложению, а движение вдоль вертикальных зеленых линий соответствует умножению. Перемещение влево или вправо изменяет координату x, что добавляет или вычитает из нашего значения. Перемещение вверх или вниз изменяет координату y, что масштабирует (умножает или делит) наше значение.
После всех этих абстрактных рассуждений самое замечательное заключается в том, что существует изящная, почти шокирующе простая функция, которая присваивает значение каждой точке (x, y) на этой сетке:** a=−x/y**
Это пространство с такой сеткой и такой функцией назначения является идеальным решением нашего Уравнения потока. Абстрактная идея «потока» внезапно становится конкретной, визуализируемой реальностью. Мы нашли геометрию, которая естественным образом воплощает правила арифметики.
Пути как вычисления: Наглядная демонстрация
Теперь, когда у нас есть эта геометрическая сцена — пространство E1, — давайте посмотрим на нее в действии. Эта сетка — не просто статическая карта, это визуальный калькулятор. Каждый путь, который вы можете нарисовать на ней, соответствует конкретному арифметическому выражению.
Давайте проследим выражение (1 × 8) – 5. Цель состоит в том, чтобы начать в точке со значением 1 и прийти в точку со значением 3.
- Начало с 1: мы находим точку на сетке, где a = -x/y = 1. Одна из таких точек — (x=-8, y=8).
- Умножение на 8: умножение изменяет масштаб, что соответствует перемещению по вертикали вдоль зеленой линии. Чтобы умножить наше значение на 8, мы должны разделить нашу координату y на 8. Мы перемещаемся из (x=-8, y=8) прямо вниз в (x=-8, y=1). Давайте проверим значение здесь: a = -(-8)/1 = 8. Отлично.
- Вычитание 5: сложение/вычитание соответствует перемещению по горизонтали вдоль синей линии. Чтобы вычесть 5 из нашего текущего значения 8, мы должны прибавить 5 к нашей координате x (из-за отрицательного знака в a = -x/y). Мы перемещаемся из (x=-8, y=1) вправо в (x=-3, y=1). Конечное значение равно a = -(-3)/1 = 3.
Путь, показанный черным цветом на диаграмме ниже, представляет собой простую L-образную форму.
Но это не единственный способ добраться из 1 в 3. Рассмотрим алгебраически эквивалентное выражение (1 – 5/8) × 8. Оно описывает совершенно другой путь (показанный фиолетовым цветом):
- Начало с 1: мы снова начинаем с (x=-8, y=8).
- Вычитание 5/8: сначала мы выполняем вычитание. Чтобы вычесть 5/8, мы прибавляем 5/8 к x. Но погодите, наша координата y равна 8. Формула a = -x/y означает, что значение горизонтального шага зависит от его уровня y. Чтобы вычесть значение 5/8 при y=8, нам нужно изменить x на (5/8) * 8 = 5. Мы перемещаемся из (x=-8, y=8) в (x=-3, y=8). Значение здесь равно a = -(-3)/8 = 3/8.
- Умножение на 8: теперь мы умножаем на 8. Мы перемещаемся вертикально вниз из (x=-3, y=8) в (x=-3, y=1). Конечное значение равно a = -(-3)/1 = 3.
Мы нашли два различных геометрических пути, которые алгебраически эквивалентны. Они начинаются в одной и той же точке и заканчиваются в одной и той же точке. Это поднимает захватывающий вопрос: каков глубокий геометрический принцип, управляющий этой эквивалентностью? Каков смысл площади между этими путями?
Это тайна, которую мы разгадаем в Части 2.
В Sapient Intelligence мы верим, что истинные инновации часто приходят от пересмотра самых фундаментальных вопросов со свежей перспективой. Мы поощряем наших исследователей отправляться в амбициозные долгосрочные исследования, даже на территории, которые кажутся знакомыми. Теория, которой мы поделились, Геометрия арифметических выражений, является результатом такого путешествия, которое длилось почти десятилетие. Оно началось с простого, почти наивного вопроса и с тех пор превратилось в новый способ видения самой структуры вычислений.
