👽 Сейчас изучаю дискуссии математиков, которые разбирают 722 публикации OpenAI. Многие пишут в X, что их пугает явный «инопланетный разум» ИИ, т.к. логические ходы LLM совершенно не укладываются в обычные человеческие понятия, но при этом верны. Рассмотрим, как ИИ решил «инопланетным» способом задачу, над которой математики бились без результата почти 70 лет.

🎯 Задача: проблема Хадвигера — Нельсона

Представьте бесконечную плоскость. Нужно раскрасить её так, чтобы любые две точки, находящиеся ровно на расстоянии 1 друг от друга, были разного цвета.
Вопрос: сколько цветов нужно?
• Точно больше 4.
• Точно меньше 8.
• Неизвестно: хватит ли 6 или 7.
Нужно доказать, что 5 цветов не хватит.

👨‍💻 Как бы это сделал математик (человеческий подход)
Обычный математик подошёл бы к задаче почти как разработчик к тестированию.
«А давайте найдём конкретный граф (набор точек и связей), который невозможно раскрасить в 5 цветов!»
Это как написать юнит-тест: вот данные, вот связи, запускаем бэктрекинг — программа падает. Значит, 5 цветов недостаточно.
Именно так в 2018 году математик Обри де Грей нашёл граф из 1581 вершины, который нельзя раскрасить в 5 цветов. Это классический, конструктивный, «человеческий» подход.

👽 Как это сделал ИИ (инопланетный подход)
ИИ не стал искать граф. Он вообще проигнорировал дискретную математику. Вместо этого он... перевёл задачу в мир непрерывной математики (интегралы, теория меры).
На рис. 1.3 его Теорема 1.3 (Transfer of colorability). Это тот самый «мост» между разными мирами математики, но именно этим простым ходом ИИ решил задачу.

Она утверждает:
Существует обычная раскраска ⇔ Существует слабо измеримая раскраска.
Перевод на язык разработчика звучал бы примерно так: «Мы не будем доказывать, что программа падает на этих данных. Мы перепишем спецификацию на другом языке (например, с C++ на Haskell), докажем теорему там, а потом скомпилируем обратно».

🧩 Как работает это доказательство:
1. Определение 1.2: ИИ вводит понятие «слабо измеримой раскраски». Это не просто функция f(x) = цвет, а измеримая функция, где условие «расстояние 1» заменяется на сложный интеграл Лебега по единичной окружности.
2. Теорема 1.3 (Мост): Если существует обычная раскраска, то обязательно существует и измеримая.
3. Теорема 1.4: Доказывается, что слабо измеримой 5-раскраски не существует. Интеграл не сходится, мера Лебега даёт противоречие.
4. Вывод: раз измеримой нет, значит и обычной 5-раскраски быть не может.

💎 Откуда взялась инопланетная логика ИИ и что это значит?
• На деле мы видим сверхспособности ИИ креативно соединять разные домены знаний из своего обучения, и это позволяет ему посмотреть на задачу под другими углами. Если люди играют в плоские шахматы в математике, то ИИ играет против математиков в 100D-шахматы.
• Довольно очевидно, что нас скоро ждут прорывы и в физике, и в химии, т.к. люди зажаты в своих стереотипах и узком знании отдельных доменов, а ИИ свободно скользит между доменами.