Компания OpenAI заявляет, что проверила результат ETH с помощью Lean…
Компания OpenAI заявляет, что проверила результат ETH с помощью Lean, программного обеспечения для проверки математических доказательств. Стефан Сзайдер из Венского технического университета в Австрии изучил опубликованные OpenAI данные и считает, что они выдержат проверку, хотя исследователям все еще необходимо убедиться, что формально доказанное утверждение означает то, что говорят его авторы.
Для этого OpenAI поручила независимой группе исследователей, в которую входят Рассел Импальяццо и Рамамохан Патури, которые помогли предложить проект ETH, изучить полученные результаты. В открытом письме они заявляют, что это может «изменить важную часть теоретической информатики».
Скорость, с которой ИИ решает математические задачи, и то, как компании публикуют свои результаты, вызывают обеспокоенность у некоторых ученых. Магнус Вальстрём из Королевского колледжа Холлоуэй Лондонского университета описывает это явление как «математику, решаемую прессой», опасаясь, что запатентованные модели могут внезапно перечеркнуть результаты многомесячной работы исследователей.
Барт Янсен из Эйндховенского технологического университета в Нидерландах описывает работу OpenAI в ETH как «гениальную», «захватывающую» и «внушающую благоговение, но в то же время заставляющую задуматься». «Это действительно заставляет задуматься о будущем математики, алгоритмов и академической науки», — говорит он.
Клеман Канонн из Сиднейского университета говорит, что доказать что-либо и понять, почему это истинно, — это не одно и то же. «Сеть рухнула, и мы заглянули назад», — говорит он о сети открытий, основанной на данных ETH. «Мы пока понятия не имеем, почему».
Компания OpenAI заявляет, что экспериментирует с подходом, при котором независимые ученые организуют усилия по проверке и объяснению результатов. Но Фомин приветствует эти перемены. «Этот результат многое разрушает, но он также открывает множество новых возможностей и новых вопросов, которых никто не ожидал», — говорит он. «Не стоит жаловаться на то, что слишком много интересных математических открытий приходится пытаться осмыслить», — говорит Вальстрём.
Темы: #Искусственныйинтеллект / #Математика
Крис Стокель-Уокер
Для этого OpenAI поручила независимой группе исследователей, в которую входят Рассел Импальяццо и Рамамохан Патури, которые помогли предложить проект ETH, изучить полученные результаты. В открытом письме они заявляют, что это может «изменить важную часть теоретической информатики».
Скорость, с которой ИИ решает математические задачи, и то, как компании публикуют свои результаты, вызывают обеспокоенность у некоторых ученых. Магнус Вальстрём из Королевского колледжа Холлоуэй Лондонского университета описывает это явление как «математику, решаемую прессой», опасаясь, что запатентованные модели могут внезапно перечеркнуть результаты многомесячной работы исследователей.
Барт Янсен из Эйндховенского технологического университета в Нидерландах описывает работу OpenAI в ETH как «гениальную», «захватывающую» и «внушающую благоговение, но в то же время заставляющую задуматься». «Это действительно заставляет задуматься о будущем математики, алгоритмов и академической науки», — говорит он.
Клеман Канонн из Сиднейского университета говорит, что доказать что-либо и понять, почему это истинно, — это не одно и то же. «Сеть рухнула, и мы заглянули назад», — говорит он о сети открытий, основанной на данных ETH. «Мы пока понятия не имеем, почему».
Компания OpenAI заявляет, что экспериментирует с подходом, при котором независимые ученые организуют усилия по проверке и объяснению результатов. Но Фомин приветствует эти перемены. «Этот результат многое разрушает, но он также открывает множество новых возможностей и новых вопросов, которых никто не ожидал», — говорит он. «Не стоит жаловаться на то, что слишком много интересных математических открытий приходится пытаться осмыслить», — говорит Вальстрём.
Темы: #Искусственныйинтеллект / #Математика
Крис Стокель-Уокер