ИИ

OpenAI опубликовала сотни математических результатов работы ИИ

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

·2 мин чтения
OpenAI опубликовала сотни математических результатов работы ИИ

Масштаб и охват математического релиза OpenAI

Новый массив данных от OpenAI включает в себя около 400 результатов, распределенных по 700 рукописям. Работы охватывают широкий спектр математических дисциплин, включая комбинаторику, различные ветви геометрии, теорию чисел, теоретическую информатику, алгебру, топологию, теорию вероятностей и статистическую механику, а также математическую физику. Из-за огромного объема компании даже пришлось опубликовать отдельную инструкцию по навигации в репозитории на GitHub.

Ученые отмечают беспрецедентный характер публикации. По словам профессора математики Университета Коннектикута Альваро Лозано-Робледо, простое изучение списка аннотаций и оглавления занимает около часа и вызывает чувство подавленности у исследователей.

Проблемы проверки и качество научных текстов

Главной проблемой для математиков стала сложность проверки такого объема информации. Формальная верификация с использованием языка программирования и помощника доказательств Lean была проведена менее чем для половины рукописей — OpenAI подтвердила формализацию около 300 результатов, что составляет примерно 42 процента от общего числа.

Многие эксперты выразили обеспокоенность по поводу качества текстов и риска появления большого объема бесполезного контента. Профессор математики Имперского колледжа Лондона Кевин Баззард отметил, что исследователям приходится разбираться в потенциально некорректных материалах или ждать ручной проверки со стороны коллег.

Реакция академического сообщества на масштабный сброс

Реакция математиков на публикацию оказалась смешанной: от восхищения и трепета до глубокой тревоги за будущее академической среды. Часть исследователей указала на проблемы с цитированием, короткие библиографии и недостаточную проработку некоторых материалов, которые при этом охватывают сложные научные темы на сжатом пространстве страниц.

Несмотря на критику и опасения по поводу возможного появления низкокачественного контента, общим мнением среди ученых остается признание того, что на осмысление и проверку всей базы данных уйдут годы.

Что это значит для пользователей

  • Новый релиз предназначен в первую очередь для исследователей, математиков и академического сообщества, работающих на стыке науки и алгоритмов.
  • Компания OpenAI предоставила материалы бесплатно в открытом доступе через репозиторий на GitHub.
  • Главными ограничениями остаются сложность проверки огромного объема текстов, отсутствие полной формализации через язык Lean для большинства работ и риски столкновения с низкокачественным контентом.
  • По сравнению с предыдущими релизами OpenAI, текущая публикация отличается значительно большим охватом дисциплин, однако проблема недостаточной атрибуции источников и качества текстов по-прежнему вызывает вопросы у экспертов.

Источник: theverge.com

  • OpenAI
  • искусственный интеллект
  • математика
  • Lean
  • GitHub
Обсудить в Telegram

Новости про ИИ и нейросети — первыми в Telegram

Коротко, без воды, несколько раз в день. Каждый вечер — дайджест главного.