ChatGPT вперше допоміг розв’язати математичну гіпотезу

Мовна модель ChatGPT змогла побудувати основу доказу математичної гіпотези, сформульованої лише у 2024 році. Дослідники кажуть: результат вийшов неочікувано сильним — і може змінити сам підхід до теоретичної науки.

Як ШІ втрутився у фундаментальну математику

Команда Data Analytics Lab при Vrije Universiteit Brussel повідомила, що комерційна мовна модель змогла запропонувати структуру доказу для задачі, пов’язаної з гіпотезою математиків Рана і Тенга.

Йдеться не про підказки чи перефразування. Після серії діалогів модель фактично сформувала логічний каркас майбутнього доказу.

Що таке “vibe-proving”

Дослідники назвали цей підхід “vibe-proving” — за аналогією з “vibe-coding”.

Суть проста: замість ручного пошуку ідей вчений взаємодіє з моделлю, яка допомагає:

• структурувати гіпотези
• пропонувати напрямки доказу
• швидко перебирати варіанти

Це схоже на роботу з дуже швидким “співрозмовником”, який не втомлюється і генерує альтернативи.

Чому це не повністю робота ШІ

Попри результат, ключовий етап — перевірка — залишається за людьми.

Модель може:

• пропонувати логіку
• будувати послідовність ідей

Але:

• допускає логічні розриви
• може робити необґрунтовані кроки

Тому фінальна валідація доказу потребує ручної роботи математиків.

Що це означає для науки

Це один із перших випадків, коли мовна модель не просто допомагає оформити думку, а реально бере участь у створенні нових знань.

Фактично ШІ починає виконувати роль:

• генератора ідей
• каталізатора досліджень
• інструмента пришвидшення відкриттів

Якщо раніше на побудову гіпотез могли йти роки, тепер цей етап може скорочуватись у рази.

Чому це важливо

• змінюється сам процес наукових відкриттів
• зростає швидкість досліджень у фундаментальних науках
• з’являється новий формат співпраці людини і ШІ
• під питанням опиняється теза про “некреативність” моделей

Цікавий факт

У математиці деякі гіпотези залишаються недоведеними десятки або навіть сотні років. Тепер частину цієї роботи може пришвидшити ШІ — хоча останнє слово все ще за людиною.