OpenAI опубликовала более 700 математических работ, подготовленных внутренней ИИ-моделью, с результатами по сотням ранее открытых задач. Подробности: В репозитории компании собраны 722 рукописи, объединенные в 372 группы результатов. Для проверки модели ей дали около 4 тыс. математических задач, а часть полученных доказательств уже формализована в Lean. Публикация вызвала активную дискуссию среди математиков, хотя сама OpenAI предупреждает, что неформализованные доказательства могут содержать ошибки. После публикации компания уже отозвала три работы и исправила еще 14 рукописей. @ejdailyru
OpenAI опубликовала 722 математических работы, решив множество сложных задач
- 656
- 149
- 83
- 32
- 27
- 8
- 46
- 23
- 15
- 5
- 4
- 4
- 57
- 16
- 7
- 102
- 10
- 3
- 137
- 26
- 21
- 11
- 7
- 3
- 2
- 102
- 25
- 16
- 10
- 9
- 9
- 119
- 58
- 40
- 23
- 19
- 16
- 61
- 25
- 18
- 9