---
title: "ШІ вирішив сотні складних завдань за одним запитом: чому вчені не довіряють OpenAI"
description: "OpenAI опублікувала 722 наукові праці з розв'язанням математичних проблем, створених не випущеним ШІ. Вчені скептично оцінюють успіх через закритість моделі."
date: 2026-10-09T13:34:00.000Z
lang: uk
url: https://xab.info/uk/posts/sh-virishiv-sotni-zavdan-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.