Пояснения ОпенИИ.
В нашем репозитории на GitHub мы также публикуем формализации многих доказательств на Lean — языке программирования, который позволяет проверять математические доказательства на компьютере. Мы будем добавлять в репозиторий новые формализации по мере их получения.
Чтобы способствовать прозрачности и открытости научных исследований, мы также публикуем в репозитории дополнительные сведения о том, как были получены результаты. Среди них — 10 кратких изложений рассуждений модели, оценки затраченных вычислительных ресурсов в пересчёте на использование Pro в ChatGPT и статистика по числу задач, которые модель пыталась решить.
Мы хотим, чтобы эти достижения расширяли границы человеческого знания и способствовали дальнейшему развитию математики. Мы профинансируем серию семинаров, конференций и специальных программ, посвящённых осмыслению значимых результатов, полученных с помощью ИИ. Подробнее об этом мы расскажем в ближайшее время.
Мы хотим предоставить учёным прямой доступ к самым современным возможностям и работаем над тем, чтобы ответственно подойти к выпуску модели, с помощью которой получены эти результаты.
https://openai.com/ru-RU/index/sharing-ai-progress-in-mathematics/
———
И один из анонсов
https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model/
#ии
x x x
В нашем репозитории на GitHub мы также публикуем формализации многих доказательств на Lean — языке программирования, который позволяет проверять математические доказательства на компьютере. Мы будем добавлять в репозиторий новые формализации по мере их получения.
Чтобы способствовать прозрачности и открытости научных исследований, мы также публикуем в репозитории дополнительные сведения о том, как были получены результаты. Среди них — 10 кратких изложений рассуждений модели, оценки затраченных вычислительных ресурсов в пересчёте на использование Pro в ChatGPT и статистика по числу задач, которые модель пыталась решить.
Мы хотим, чтобы эти достижения расширяли границы человеческого знания и способствовали дальнейшему развитию математики. Мы профинансируем серию семинаров, конференций и специальных программ, посвящённых осмыслению значимых результатов, полученных с помощью ИИ. Подробнее об этом мы расскажем в ближайшее время.
Мы хотим предоставить учёным прямой доступ к самым современным возможностям и работаем над тем, чтобы ответственно подойти к выпуску модели, с помощью которой получены эти результаты.
https://openai.com/ru-RU/index/sharing-ai-progress-in-mathematics/
———
И один из анонсов
https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model/
#ии
x x x