OpenAI открыла крупную коллекцию математических результатов, полученных внутренней экспериментальной ИИ-моделью. В публичный репозиторий вошли 722 рукописи, объединённые в 372 семейства связанных исследований, а часть доказательств дополнительно формализована в Lean для машинной проверки. Во время испытаний модели ей предложили около 4000 исследовательских задач из чистой математики, теоретической информатики и математической физики.
OpenAI опубликовала 722 математические работы своей внутренней модели
- 278
- 57
- 34
- 16
- 9
- 4
- 55
- 14
- 4
- 89
- 9
- 2
- 18
- 11
- 6
- 2
- 2
- 95
- 24
- 16
- 9
- 9
- 8
- 109
- 42
- 26
- 14
- 10
- 7
- 87
- 16
- 15
- 6
- 2
- 2
- 187
- 75
- 36
- 19
- 15
- 15
- 70
- 17
- 4
- 1