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