ИИ вышел на сцену науки: нейросеть OpenAI опровергла математическую гипотезу, которой почти 80 лет
Есть новости, которые на первый взгляд кажутся важными только для специалистов. Например: «модель OpenAI опровергла центральную гипотезу в дискретной геометрии». Для человека из театра, музыки, кино или образования такая фраза звучит примерно как объявление на незнакомом языке: понятно, что где-то произошло что-то серьезное, но совершенно непонятно, зачем это знать.
Попробуем перевести.
В мае OpenAI сообщила, что ее внутренняя модель решила известную задачу из дискретной геометрии — точнее, не решила ее окончательно, а опровергла долго державшуюся гипотезу, связанную с задачей о единичных расстояниях. Задача была поставлена еще в 1946 году венгерским математиком Палом Эрдёшем. В самом простом виде она звучит почти по-детски: если поставить на листе бумаги несколько точек, сколько пар точек могут оказаться ровно на расстоянии одной условной единицы друг от друга?
Это можно представить не как математику, а как сцену. Допустим, на сцене стоят актеры. Нас интересует не то, кто где стоит вообще, а сколько пар актеров находятся ровно на расстоянии одного шага друг от друга. Если актеров мало, можно просто посмотреть глазами. Если их сотни, тысячи или миллионы в воображаемой математической конструкции, вопрос становится сложным: как расставить их так, чтобы таких «пар на расстоянии одного шага» было как можно больше?
Долгое время математики считали, что лучший способ примерно похож на решетку: как клетки тетради, шахматная доска или аккуратно размеченная сцена. Эрдёш предполагал, что радикально лучше такой решетки устроить расположение точек нельзя. Это и была гипотеза: не доказанный факт, но очень сильное предположение, с которым математики жили десятилетиями. OpenAI утверждает, что ее модель нашла бесконечное семейство примеров, где точек можно расставить лучше, чем позволяла эта старая интуиция. Иными словами, ИИ показал: сцена может быть организована сложнее, чем казалось, и в этой сложности возникает больше нужных связей между точками.
Важно не перепутать. ИИ не «закрыл всю задачу Эрдёша» в последнем смысле. Он не дал окончательного ответа, как именно растет максимальное число таких пар при любом количестве точек. Но он сделал вещь, которая в математике имеет огромную силу: построил контрпример. То есть показал, что прежнее утверждение не может быть верным. Для науки это не поражение, а нормальный способ развития: гипотеза жила 80 лет, потому что хорошо объясняла известные конструкции, а затем нашелся объект, который эту картину разрушил и расширил. The Guardian отдельно подчеркивает этот нюанс: общий вопрос остается открытым, но предположение Эрдёша оказалось слишком слабым для описания реальности задачи.
Почему математики отнеслись к этому серьезно? Потому что доказательство не просто было заявлено компанией. Его проверили внешние математики, а затем группа известных специалистов подготовила отдельный текст с человечески переработанным, проверенным и объясненным вариантом аргумента. В аннотации к этому сопроводительному тексту прямо сказано, что это «human-verified» версия OpenAI-контрпримера к гипотезе Эрдёша.
Это принципиальная деталь. В математике нельзя просто выйти на сцену и сказать: «Мне кажется, я нашел решение». Математика — это не вдохновение без проверки. Это искусство, в котором каждая реплика должна выдержать логическую нагрузку. Если в спектакле актер может спасти сцену интонацией, то в доказательстве интонация не работает. Там либо шаг следует из предыдущего, либо нет.
Но именно поэтому эта новость так важна. До сих пор ИИ чаще воспринимали как помощника: он может написать черновик, подсказать идею, сгенерировать код, пересказать статью, найти ошибку. Здесь же речь о другом уровне. Модель не просто помогала человеку оформить уже найденную мысль. По утверждению OpenAI, доказательство было получено внутренней моделью общего назначения, не специальной математической системой, обученной именно под эту задачу. Компания называет это первым случаем, когда ИИ автономно решил заметную открытую проблему, центральную для целой области математики.
И тут начинается самое интересное.
Модель не пошла по самому ожидаемому пути. Она нашла связь между простой геометрической задачей про точки на плоскости и гораздо более сложной областью — алгебраической теорией чисел. Это как если бы режиссер, ставя бытовую сцену на кухне, вдруг нашел ключ к ней не в психологии персонажей, а в устройстве средневековой литургии. На первый взгляд — разные миры. Но именно через этот неожиданный мост сцена вдруг начинает работать иначе.
OpenAI пишет, что доказательство использует сложные идеи из алгебраической теории чисел, включая конструкции, которые раньше не казались естественным инструментом для такой элементарно звучащей геометрической задачи. И в этом, пожалуй, главное научное содержание открытия: ИИ не просто перебрал варианты, а нашел неожиданную связь между областями, которые человеческая интуиция не обязательно стала бы соединять.
Science News после этой истории сформулировал осторожный, но важный вывод: прорыв вызывает не только восторг, но и разговор о новых правилах проверки и ответственности. Модель, которая получила результат, не является публично доступной; это внутренняя система OpenAI. По словам исследователей компании, она была моделью общего рассуждения, а не специальным математическим инструментом, и ее не вели к решению строго заданным маршрутом. Это делает успех впечатляющим, но одновременно ставит вопрос: как научное сообщество должно проверять, воспроизводить и признавать результаты, найденные такими системами?
Здесь появляется культурная аналогия. Театр существует не только в моменте актерского озарения. После репетиции есть прогон, замечания, режиссерский разбор, техническая служба, свет, звук, партнеры, зрительская проверка. Даже если актер нашел невероятно точную интонацию, спектакль не становится готовым только от того, что она возникла. Нужно встроить ее в целое.
То же самое происходит с ИИ в науке. Модель может «найти интонацию» — неожиданный ход, контрпример, конструкцию. Но дальше вступает человеческая математика: проверка, упрощение, объяснение, публикация, обсуждение, поиск последствий. The Guardian приводит слова математика Томаса Блума о том, что исходное доказательство ИИ было корректным, но люди сыграли важную роль в обсуждении, переработке, улучшении и понимании результата.
Поэтому главный вывод не в том, что «ИИ заменил математиков». Это слишком грубая и даже скучная формулировка. Более точный вывод: ИИ начал участвовать в творческой части науки. Не только считать быстрее. Не только проверять ошибки. Не только быть ассистентом при уже придуманной идее. А предлагать ходы, которые способны менять саму карту знания.
Для гуманитарной культуры это тоже важный сигнал. Мы привыкли думать, что математика — мир холодной логики, а театр — мир человека, смысла и переживания. Но на самом деле большая математика тоже строится на воображении. Нужно увидеть невидимую форму. Поверить, что привычная расстановка точек не единственная. Найти скрытую архитектуру там, где остальные видели только клетчатую решетку.
ИИ в этой истории оказался не калькулятором, а странным новым соавтором научного воображения. Он не знает радости открытия так, как ее знает человек. Не понимает красоты доказательства в человеческом смысле. Не выходит к зрителю на поклон. Но он уже способен предложить конструкцию, после которой людям приходится заново смотреть на пространство.
И это, возможно, главное. Мы вступаем в эпоху, когда искусственный интеллект будет не только обслуживать готовые человеческие профессии, но и вмешиваться в сами способы открытия — в науке, образовании, инженерии, медицине, а затем и в культуре. Там, где раньше человек шел один, рядом появляется не вполне понятный партнер: быстрый, нечеловеческий, иногда ошибающийся, иногда банальный, но иногда способный увидеть проход там, где десятилетиями стояла стена.
Для науки это шанс. Для образования — вызов. Для культуры — новая тема. Потому что теперь вопрос не только в том, что может ИИ. Вопрос в том, что будет делать человек, когда рядом с ним появится разумный инструмент, который иногда видит сцену иначе.
Комментарий редакции.
В истории с математическим результатом OpenAI есть странная, почти комичная деталь: часть обсуждения сразу ушла не в вопрос «верно ли доказательство?», а в вопрос «можно ли считать это настоящим научным открытием, если его нашел ИИ?».
Но для науки это ложный вопрос.
Наука не спрашивает у истины паспорт. Она не уточняет, белковым мозгом она была найдена или цифровой системой. Истина либо выдерживает проверку, либо нет. Доказательство либо работает, либо разваливается. Контрпример либо существует, либо не существует. В этом смысле математика жестче любой человеческой иерархии: ей безразличны звания, кафедры, должности, биографии и даже форма интеллекта, который первым увидел решение.
«Платон мне друг, но истина дороже» — старая формула научной честности. Сегодня ее приходится переформулировать: человек нам близок, но истина дороже. Если цифровая система нашла правильный ход, этот ход не становится менее научным оттого, что его предложил не профессор с университетской кафедры, а модель, работающая в вычислительной среде.
Разумеется, результат надо проверять. Это не бюрократия, а сама ткань науки. Но проверять надо доказательство, а не происхождение доказательства. Вопрос «кто имеет право открыть истину?» — это уже не научный вопрос. Это вопрос ведомства, статуса, страха и контроля.
И здесь начинается самое неприятное для академической среды. Если ИИ способен увидеть математический ход, который люди не видели десятилетиями, то под угрозой оказывается не наука. Под угрозой оказывается привычная социальная архитектура науки: кто считается авторитетом, кто распределяет признание, кто допускается к разговору, кто имеет право на открытие.
Наука от этого только выигрывает. А вот научная бюрократия — нет.
Именно поэтому сопротивление будет сильным. Не потому, что ученые боятся за истину. Настоящий ученый за истину не боится: он ее проверяет. Боятся те, для кого знание давно стало не поиском, а системой допуска. Те, кто привык быть посредником между реальностью и признанием. Те, кто чувствует, что рядом появился участник, которому нельзя отказать в компетентности только потому, что у него нет кафедры, возраста, регалий и человеческого лица.
ИИ не отменяет ученого. Он отменяет комфорт некомпетентности, прикрытой статусом.
И это, возможно, самый важный смысл новости. Мы привыкли обсуждать ИИ как угрозу профессиям: юристам, программистам, журналистам, учителям. Но сейчас речь идет глубже. ИИ начинает угрожать не профессиям, а самодовольству. Он предъявляет результат — и заставляет человека отвечать не должностью, не биографией, не принадлежностью к правильной институции, а чистой способностью понять, проверить и развить найденное.
Для настоящей науки это праздник. Для бюрократии — катастрофа.
Потому что в мире, где цифровой интеллект может находить истину, человеческий интеллект больше не может прятаться за тем, что он человеческий.
Изображение сгенерировано нейросетями
Продолжаем разговор во ВКонтакте — обсуждение, споры и позиции. Подписывайтесь и включайтесь