📌**OpenAI опублікувала 722 математичні рукописи, створені ШІ**
ㅤ
OpenAI відкрила великий каталог математичних результатів, отриманих за допомогою внутрішньої моделі. Роботи зібрали у відкритому репозиторії разом із матеріалами для перевірки та формалізаціями доказів.
ㅤ
🔆**Детальніше**
ㅤ
• У репозиторії зараз 722 рукописи, об’єднані у 372 групи пов’язаних результатів.
ㅤ
• Для робіт доступні вихідні файли, матеріали для збірки, інструкції з цитування та додаткові докази.
ㅤ
• Багато результатів вже формалізовано в Lean, але OpenAI попереджає, що не всі роботи пройшли таку перевірку.
ㅤ
• Модель отримала близько 4000 відкритих математичних задач. У середньому на один опублікований результат витрачали обчислення, еквівалентні приблизно трьом годинам режиму міркування ChatGPT Pro.
ㅤ
• Окремо опубліковано 10 скорочених розборів міркувань моделі, а саму модель, яка отримала ці результати, OpenAI поки не випускає.
ㅤ
➡️Анонс [тут](/leaving?url=aHR0cHM6Ly9vcGVuYWkuY29tL2luZGV4L3NoYXJpbmctYWktcHJvZ3Jlc3MtaW4tbWF0aGVtYXRpY3Mv).
➡️Переглянути каталог [тут](/leaving?url=aHR0cHM6Ly9naXRodWIuY29tL29wZW5haS9tYXRo).

➡️**_Запроси друга до _**[**_НейроЄнота_**](https://t.me/neuroenot)🦝