Мовна модель ChatGPT змогла побудувати основу доказу математичної гіпотези, сформульованої лише у 2024 році. Дослідники кажуть: результат вийшов неочікувано сильним — і може змінити сам підхід до теоретичної науки.
Як ШІ втрутився у фундаментальну математикуКоманда Data Analytics Lab при Vrije Universiteit Brussel повідомила, що комерційна мовна модель змогла запропонувати структуру доказу для задачі, пов’язаної з гіпотезою математиків Рана і Тенга.
Йдеться не про підказки чи перефразування. Після серії діалогів модель фактично сформувала логічний каркас майбутнього доказу.
Що таке “vibe-proving”Дослідники назвали цей підхід “vibe-proving” — за аналогією з “vibe-coding”.
Суть проста: замість ручного пошуку ідей вчений взаємодіє з моделлю, яка допомагає:
- структурувати гіпотези
- пропонувати напрямки доказу
- швидко перебирати варіанти
Чому це не повністю робота ШІПопри результат, ключовий етап — перевірка — залишається за людьми.
Модель може:
- пропонувати логіку
- будувати послідовність ідей
- допускає логічні розриви
- може робити необґрунтовані кроки
Що це означає для наукиЦе один із перших випадків, коли мовна модель не просто допомагає оформити думку, а реально бере участь у створенні нових знань.
Фактично ШІ починає виконувати роль:
- генератора ідей
- каталізатора досліджень
- інструмента пришвидшення відкриттів
Чому це важливо
- змінюється сам процес наукових відкриттів
- зростає швидкість досліджень у фундаментальних науках
- з’являється новий формат співпраці людини і ШІ
- під питанням опиняється теза про “некреативність” моделей
