ChatGPT за час нашла доказательства 50-летней математической гипотезы

Нейросеть OpenAI GPT за час доказала гипотезу о двойном покрытии циклов, над которой математики бились более 50 лет. Гипотеза, сформулированная в 70-х годах, относится к теории графов. Для решения ИИ-модель задействовала десятки AI-ассистентов, обрабатывавших различные алгоритмы.

Математики приступили к проверке доказательства, но уже поступило заявлением о значительном прорыве. Математики из Принстонского университета считают, что ИИ уже начал активно менять математические исследования.

OpenAI опубликовала инструкцию по решению. 64 виртуальных ассистента получили задачу, им было предложено потратить максимум времени перед выдачей ответа или отказом. Этот подход ученые сравнили с методом школьного учителя, сочетающего похвалу и указания.

Одновременно было выявлено слабое место ИИ. Ученые назвали недостаточной предсказуемость экстремальной погоды. В экспериментах ИИ-модели уступают физически обоснованным системам прогноза, которые опираются на законы физики для предсказания беспрецедентных ситуаций. Генеративные модели, обученные на прошлых данных, оказываются менее эффективными в прогнозировании резких изменений погоды.