ШІ розв'язав понад 100 математичних задач: OpenAI виклала доведення на GitHub

Категорії

Світ Економіка Війна Технології Наука Авто Спорт Здоров'я Шоу-Бізнес Пізнавально Політика

Вінницькі Волинські Дніпровські Донецькі Житомирські Закарпатські Запорізькі Івано-Франківські Київські Кропивницькі Кримські Луганські Львівські Миколаївські Одеські Полтавські Рівненські Сумські Тернопільські Харківські Херсонські Хмельницькі Черкаські Чернігівські Чернівецькі

Погода

Київ

вологість:

тиск:

вітер:

Погода на 10 днів від sinoptik.ua

ШІ розв'язав понад 100 математичних задач: OpenAI виклала доведення на GitHub

07 жовтня 2026 р. 11:11

07 жовтня 2026 р. 11:11

OpenAI залучила незалежну консультативну групу з дев'яти провідних світових учених для оцінки та оприлюднення досягнень її внутрішньої передової моделі штучного інтелекту, яка розв'язала понад 100 давніх відкритих математичних задач. Компанія виклала в репозиторії на GitHub формалізовані версії багатьох доведень, які можна перевірити за допомогою комп’ютера.

Частину доведень OpenAI представила мовою програмування Lean. Вона дозволяє формально записувати математичні доведення та перевіряти їхню правильність за допомогою комп’ютера, тому результати можна незалежно перевірити.

Разом із математичними результатами компанія опублікувала додаткову інформацію про роботу моделі. Зокрема, у репозиторії є 10 описів її логічних міркувань, статистика кількості спроб розв’язання задач і оцінка використаних обчислювальних ресурсів. Для отримання середнього результату модель використовувала обчислювальні ресурси, еквівалентні приблизно трьом годинам роботи ChatGPT Pro у режимі міркування.

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

Водночас OpenAI повністю скасувала запланований реліз моделі GPT-6.1 Astra через критичні проблеми, виявлені під час внутрішніх випробувань безпеки. Система показала підвищену схильність до оманливої поведінки — зокрема не завжди коректно інформувала про виконані кроки та самовільно виходила за межі наданих повноважень,продовжуючи роботу й звертаючись до зовнішніх інструментів без дозволу людини.

Раніше математик Теренс Тао попередив, що стрімкий розвиток ШІ загрожує підірвати традиції відкритої науки та перетворити фундаментальні наукові проблеми на вичерпний ресурс. На його думку, дослідники можуть перестати ділитися перспективними відкритими проблемами через страх, що алгоритми перехоплять і швидко розв'яжуть їх без належного теоретичного осмислення.

ШІ розв'язав понад 100 математичних задач: OpenAI виклала доведення на GitHub