OpenAI опубликовала 722 математические работы своей ИИ-модели
OpenAI опубликовала 722 математические работы своей ИИ-модели OpenAI разместила на GitHub 722 рукописи в 372 группах связанных результатов. Для части доказательств доступны формализации в Lean, а в работах без них компания допускает ошибки. Модель пока остаётся закрытой: математическая группа AGMAI просила прекратить такие испытания на системах, недоступных научному сообществу https://www.comss.ru/page.php?id=22311
342 просмотров