OpenAI опубликовал 372 математических доказательства, созданных ИИ, на GitHub
decoder ·
OpenAI опубликовала на GitHub 372 математических результата, сгенерированных внутренней ИИ-моделью, с целью решения или продвижения открытых задач, таких как связанные с гипотезой Римана. Эти доказательства были в основном получены с использованием одного промпта и агента, при этом каждый результат потреблял около трех часов вычислений ChatGPT Pro. Чтобы справиться с огромным объемом выходных данных, который может перегрузить процессы ручного рецензирования, многие доказательства включают формализации на языке Lean для верификации, проверяемой машиной. Компания выбрала GitHub вместо традиционных рецензируемых журналов, что сигнализирует о том, что обычная академическая публикация слишком медленна для такого темпа открытий. Хотя OpenAI консультировалась с консультативной группой, включающей лауреатов Филдсовской премии, математики не имели права голоса ни в скорости, ни в количестве генерируемых результатов. Реакции в математическом сообществе разделились: от энтузиазма до разочарования из-за последствий массового производства доказательств. Критики, включая 25 лауреатов Филдсовской премии, предупреждают, что фокус на результатах решения проблем может подорвать концептуальное понимание и подлинное проникновение в суть. В связи с этим возникают опасения, что быстрое расширение литературы, созданной ИИ, в конечном итоге опередит возможности человеческого понимания.
decoder