Математические решения OpenAI пока не соответствуют стандартам отрасли

Компания OpenAI недавно выпустила большое количество математических доказательств, сгенерированных моделями искусственного интеллекта. Однако, согласно отчетам, эти результаты не соответствуют строгим критериям, установленным группой математиков, консультировавших лабораторию. Несмотря на то, что компания продолжает расширять возможности больших языковых моделей в области сложных рассуждений, математическое сообщество отмечает, что текущее качество этих доказательств еще не отвечает профессиональным стандартам, необходимым для формальной верификации или академического признания. Это несоответствие подчеркивает сохраняющиеся трудности в обеспечении точности и логической последовательности контента, создаваемого ИИ в таких узкоспециализированных областях, как математика. Поскольку OpenAI стремится совершенствовать свои модели рассуждений, отзывы экспертов указывают на разрыв между генеративной беглостью и строгой верифицируемостью, требуемой научным сообществом.