OpenAI опубликовала более 700 математических работ, подготовленных внутренней ИИ-моделью, с результатами по сотням ранее открытых задач. Подробности: В репозитории компании собраны 722 рукописи, объединенные в 372 группы результатов. Для проверки модели ей дали около 4 тыс. математических задач, а часть полученных доказательств уже формализована в Lean. Публикация вызвала активную дискуссию среди математиков, хотя сама OpenAI предупреждает, что неформализованные доказательства могут содержать ошибки. После публикации компания уже отозвала три работы и исправила еще 14 рукописей. @ejdailyru
- 46
- 23
- 15
- 5
- 4
- 4