В последние месяцы OpenAI и другие компании, работающие в области искусственного интеллекта, превращают математику в испытательный полигон для своих моделей. Эта дисциплина позволяет им хвастаться возможностями своих систем, но сама по себе не объясняет интерес, который эти компании к ней проявляют. Создатель ChatGPT с прошлого года множит заявления о прогрессе своих моделей в этой области.
В мае модель от OpenAI опровергла гипотезу, связанную с проблемой единичных расстояний Пала Эрдёша, которая восходит к 1946 году. Гипотеза — это утверждение, считающееся верным на основе наблюдений или аналогий, но не имеющее формального доказательства. Десятилетиями математики считали, что расположение точек в квадратной сетке дает наибольшее количество пар, находящихся на одинаковом расстоянии. Модель нашла другие способы их организации, чтобы получить больше таких пар. В записи блога компания упоминает « бесконечное семейство примеров », опровергающих старую гипотезу. Доказательство было проверено группой внешних математиков.
За этим последовали и другие анонсы. В сентябре OpenAI, по собственным словам, задействовала « более 10 000 агентов ИИ » для решения одной из математических проблем тысячелетия, что вызвало критику исследователей, обвинивших компанию в плагиате. В начале октября передовая модель позволила решить сотни ранее неразрешимых проблем.
Витрина для моделей
По мнению Франсуа Вийо, математика и научного руководителя в Парижской горной школе PSL, интерес в первую очередь коммерческий. « Это дает им огромную рекламу », — заявил он BFM Tech, пояснив, что компании могут таким образом говорить своим клиентам, что у них есть « лучшие инструменты, существующие на данный момент ». Математик также подчеркивает сложность затрагиваемых тем: « Математические гипотезы, которые еще не доказаны, относятся к числу самых сложных проблем, которые до недавнего времени могли решать люди, а не машины ».
Франсуа Шарль, математик и директор департамента математики и приложений Высшей нормальной школы Парижа (ENS-PSL), член AGMAI — независимого комитета из девяти всемирно известных математиков, консультирующего гигантов ИИ, — придерживается того же мнения. Он отмечает, что большие языковые модели (LLM) недавно могли решать « соревновательные задачи, безусловно очень сложные, но для старшеклассников », прежде чем, по его словам, с конца мая стали автономно решаться результаты передовых исследований.
Тот факт, что доказательство либо верно, либо ложно, также делает эти области релевантными для измерения производительности. « Нет промежуточного варианта, поэтому это хороший « бенчмарк » », — объясняет Франсуа Вийо, считая более сложным ранжировать модели по научным вопросам, допускающим несколько ответов.
Обеспокоенность прозрачностью
Математик напоминает, что эти системы обучались на « нескольких миллионах статей по наукам в целом », что позволяет им, по его мнению, связывать малоизвестные старые результаты с новыми проблемами. Он также сравнивает этот прогресс с прогрессом Галилея, который « за несколько ночей » сделал больше открытий в астрономии, чем за предыдущую тысячу лет. Он считает, что с ИИ « мы, вероятно, докажем множество вещей в математике, которые до сих пор не были доказаны ».
Однако его беспокоит сценарий, в котором доказательства будут настолько длинными, что нельзя будет понять их идею, даже если их правильность будет проверяться автоматическими средствами. Он также упрекает OpenAI в том, что та дает мало подробностей о своих методах. По мнению Франсуа Шарля, исследователи должны иметь возможность « присваивать знания », полученные из этих доказательств, тогда как впервые темп исследований задается не открытым сообществом, поскольку передовые модели « контролируются небольшим числом компаний ».
Чтобы ответить на эту критику, OpenAI обратилась к группе математиков, которой поручено давать рекомендации по проверке и публикации ее результатов. 26 октября компания также объявила о трех открытиях в области информатики и физики, что вызвало новую критику исследователей в адрес ее стиля коммуникации. Несмотря на эти трения, Франсуа Шарль заявляет: « Не бывает научной революции без участия ученых ».
