---
title: "ИИ решил сотни сложных задач по одному запросу: почему ученые не доверяют OpenAI"
description: "OpenAI опубликовала 722 научных труда с решениями математических проблем, созданных невыпущенным ИИ. Ученые скептически оценивают успех из-за закрытости модели."
date: 2026-10-09T13:34:00.000Z
lang: ru
url: https://xab.info/posts/ai-reshen-sotni-zadach-openai-skeptitsizm
tags: [openai, ai-math, github, gpt-5, lean]
publisher: "XAB.info"
---

# ИИ решил сотни сложных задач по одному запросу: почему ученые не доверяют OpenAI

![Графическое изображение нейросети и математических формул на фоне кода GitHub](https://xab.info/media/2026/10/09/ai-reshen-sotni-zadach-openai-skeptitsizm/ai-reshen-sotni-zadach-openai-skeptitsizm-1.webp)

## 🎯 Key Points

- OpenAI выложила на GitHub 722 научных труда с решением 372 математических проблем.
- Работы сгенерированы новой невыпущенной моделью по одному запросу.
- Научное сообщество сомневается в результатах из-за закрытости модели и отсутствия исходных промптов.
- Для проверки используются формализованные доказательства на языке Lean.

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

### Технические детали генерации и автоматическая проверка

 Согласно технической документации, модель протестировала около 4000 задач, причем создание одного успешного решения в среднем занимало около трех часов вычислительной мощности уровня ChatGPT Pro. Чтобы научное сообщество могло объективно оценить корректность столь сложных вычислений, разработчики включили в релиз формализованные доказательства, написанные на специализированном языке программирования Lean. Использование Lean позволяет сторонним алгоритмам и математическим программам в автоматическом режиме верифицировать логику и правильность каждого отдельного шага доказательства без ручного перебора.### Противоречивые данные

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

### Последствия для науки и перспективы

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

## 🔍 Fact-Check Verification

- [ИИ решил сотни сложных задач по одному запросу: почему ученые не доверяют OpenAI](https://www.rbc.ua/ukr/news/shi-rozv-yazav-sotni-skladnih-zadach-odnogo-1791542723.html) - Подтверждает публикацию 722 научных трудов с решением задач.
- [GitHub преждевременно «представил» ИИ-модели OpenAI GPT-5](https://3dnews.ru/1127250/github-pregdevremenno-predstavil-iimodeli-openai-gpt5) - Описывает утечку и предварительный статус моделей OpenAI на GitHub.
- [OpenAI разрабатывает прямого конкурента платформы GitHub от Microsoft](https://3dnews.ru/1137779/openai-razrabativaet-pryamogo-konkurenta-platformi-github-ot-microsoft) - Описывает утечку и предварительный статус моделей OpenAI на GitHub.
- [OpenAI переоценила свои успехи в математике](https://vc.ru/id744127/2285959-openai-i-gpt-5-mify-o-matematicheskikh-dostizheniyakh) - Описывает скептицизм математиков и критику заявлений компании.

## ❓ FAQ

### Q: Сколько научных трудов опубликовала OpenAI на GitHub?
**A:** Компания опубликовала 722 научных труда, содержащих решение 372 сложных математических проблем.

### Q: Почему ученые не доверяют результатам OpenAI?
**A:** Ученые скептически относятся к заявлению, так как компания не предоставила доступ к самой модели для воспроизведения результатов и скрыла тексты исходных промптов.

### Q: Какой язык программирования используется для проверки доказательств?
**A:** Для автоматической проверки логики и правильности доказательств разработчики применили язык программирования Lean.