Мы публикуем широкий спектр новых математических результатов, полученных с помощью внутренней передовой модели.
Стремясь улучшить способы обмена результатами с математическим сообществом, мы консультируемся с независимым комитетом для разработки передовых методов, и мы опираемся на их советы и публичные рекомендации(opens in a new window), чтобы определить порядок публикации этих результатов.
Для этого релиза мы публикуем результаты в репозитории GitHub с протоколами для пересмотра статей и цитирования. Мы продолжаем изучать другие альтернативы, размещаемые сообществом, для этого релиза, которые соответствуют руководящим принципам комитета. В будущих релизах мы обязуемся и дальше повышать качество статей за счет цитирования, математического изложения и представления результатов для лучшего понимания.
В рамках нашего репозитория на GitHub мы делимся формализациями многих доказательств на Lean — языке программирования, который позволяет проверять математические доказательства с помощью компьютера. Мы будем обновлять репозиторий новыми формализациями по мере их получения.
Чтобы способствовать научной прозрачности и открытости, мы также публикуем в репозитории дополнительные сведения о том, как мы получили эти результаты. Они включают 10 сводок рассуждений модели, оценки затрат вычислительных мощностей в эквиваленте использования Pro-версии ChatGPT и статистику о количестве попыток решения задач. В среднем для получения результата потребовались вычислительные мощности, эквивалентные примерно трем часам «размышлений» ChatGPT Pro.
Мы хотим, чтобы этот прогресс расширял границы человеческих знаний и способствовал дальнейшему развитию математики. Мы будем финансировать серию семинаров, конференций и специальных программ, посвященных пониманию основных результатов, полученных ИИ — мы поделимся подробностями в ближайшем будущем.
Мы хотим напрямую расширить возможности ученых с помощью передовых инструментов и работаем над ответственным выпуском модели, которая получила эти результаты. Именно поэтому важно продолжать оценивать наши внутренние передовые модели в математике и других науках, чтобы мы могли ускорить разработку инструментов для продвижения этих областей. Мы продолжим учитывать отзывы сообщества и обновлять наши стандарты для будущих публикаций о крупных научных достижениях.
