Инвестор Слейтер Стич (Slater Stich) и математик Ноам Браун (Noam Brown) из компании xAI обсудили использование моделей машинного обучения для доказательства гипотезы Эрдёша о единичных расстояниях и решения задач Международной математической олимпиады (IMO).
Ноам Браун, научный сотрудник xAI и бывший исследователь Meta, опубликовал в своём блоге результаты работы по применению искусственного интеллекта в математике. В частности, он рассказал о попытках использовать ИИ для доказательства гипотезы Пола Эрдёша о единичных расстояниях — одной из нерешённых проблем комбинаторной геометрии. Гипотеза утверждает, что максимальное число пар точек на плоскости, находящихся на фиксированном расстоянии друг от друга, растёт не быстрее, чем линейно относительно общего числа точек.
Браун также описал эксперименты с моделями машинного обучения для решения задач Международной математической олимпиады (IMO). По его словам, нейросети способны генерировать решения, которые затем проверяются формальными методами. Однако, как отметил исследователь, пока ИИ не может полностью заменить человеческую интуицию в математике, но может стать инструментом для ускорения доказательств.
В интервью Слейтеру Стичу Браун подчеркнул, что главная задача — не заменить математиков, а создать системы, которые помогут им справляться с рутинными частями работы. «Мы стремимся к тому, чтобы ИИ генерировал гипотезы, а человек их проверял и дорабатывал», — заявил он.
Работа Брауна вызвала интерес в научном сообществе. Исследователь Сандер Дилеман (Sander Dieleman) из DeepMind отметил, что подобные подходы могут открыть новые возможности для автоматизации математических доказательств, особенно в областях, где традиционные методы не дают результатов.
Источники: X-пост Ноама Брауна (Noam Brown), 4 июня 2026 года; блог Ноама Брауна.