OpenAI выкладывает на GitHub математические результаты, полученные внутренней frontier-моделью

Sharing AI Progress in Mathematics

OpenAI публикует новые математические результаты, сгенерированные внутренней frontier-моделью, в GitHub-репозитории с протоколами ревизий и цитирования. Компания консультировалась с Advisory Group on Mathematics and Artificial Intelligence при Institute for Advanced Study. В репозитории также представлены формализации доказательств на Lean, 10 примеров рассуждений модели и оценки затрат compute — в среднем около трёх часов работы ChatGPT Pro. OpenAI планирует финансировать воркшопы и конференции, а также ответственно выпустить саму модель.