Мы публикуем широкий спектр новых математических результатов, полученных с помощью внутренней frontier-модели. Мы консультировались с независимой Консультативной группой по математике и искусственному интеллекту в Institute for Advanced Study для разработки передовых практик. Для этого выпуска мы публикуем результаты в репозитории Git Hub с протоколами для ревизий статей и цитирования.
Мы делимся формализациями многих доказательств на Lean, языке программирования, который позволяет проверять математические доказательства с помощью компьютера. Мы также публикуем 10 сводок рассуждений модели и оценки затраченных вычислительных ресурсов. Средний результат использовал эквивалент примерно трех часов мышления Chat GPT Pro.
Мы хотим, чтобы этот прогресс продвинул границы человеческих знаний. Мы будем финансировать серию семинаров, конференций и специальных программ, посвященных пониманию основных результатов, полученных ИИ. Мы работаем над ответственным выпуском модели, которая произвела эти результаты, и продолжим действовать на основе отзывов сообщества.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing