Мы публикуем широкий спектр новых математических результатов, полученных с помощью передовой модели для внутреннего использования.
Мы стремимся выработать единый подход к тому, как делиться результатами с математическим сообществом. Для этого мы консультируемся с независимой Консультативной группой по математике и искусственному интеллекту при Институте перспективных исследований(открывается в новом окне) и учитываем её советы и публичные рекомендации(открывается в новом окне) при публикации этих результатов.
На этот раз мы публикуем результаты в репозитории на GitHub вместе с правилами внесения изменений в статьи и их цитирования. Мы продолжаем рассматривать другие площадки сообщества для размещения этих материалов, которые соответствуют рекомендациям консультативной группы. В будущих публикациях мы намерены и дальше повышать качество статей: улучшать ссылки на источники, математическое изложение и представление результатов, чтобы они были понятнее.
В нашем репозитории на GitHub мы также публикуем формализации многих доказательств на Lean — языке программирования, который позволяет проверять математические доказательства на компьютере. Мы будем добавлять в репозиторий новые формализации по мере их получения.
Чтобы способствовать прозрачности и открытости научных исследований, мы также публикуем в репозитории дополнительные сведения о том, как были получены результаты. Среди них — 10 кратких изложений рассуждений модели, оценки затраченных вычислительных ресурсов в пересчёте на использование Pro в ChatGPT и статистика по числу задач, которые модель пыталась решить. В среднем на получение одного результата потребовался объём вычислений, эквивалентный примерно трём часам размышлений ChatGPT Pro.
Мы хотим, чтобы эти достижения расширяли границы человеческого знания и способствовали дальнейшему развитию математики. Мы профинансируем серию семинаров, конференций и специальных программ, посвящённых осмыслению значимых результатов, полученных с помощью ИИ. Подробнее об этом мы расскажем в ближайшее время.
Мы хотим предоставить учёным прямой доступ к самым современным возможностям и работаем над тем, чтобы ответственно подойти к выпуску модели, с помощью которой получены эти результаты. Именно поэтому важно продолжать оценивать наши передовые модели для внутреннего использования на задачах из математики и других наук: это позволит нам ускорить разработку инструментов для развития этих областей. Мы продолжим учитывать отзывы сообщества и совершенствовать наши стандарты публикации значимых научных достижений.
