Тао показав, як ШІ допомагає шукати контрприклади в математиці

Суть події: математик і чат-бот на одному чернетковому аркуші

Історія проста на перший погляд: один із найвідоміших математиків світу Терренс Тао оприлюднив свій діалог з ChatGPT, у якому вони разом обговорювали контрприклад до так званої гіпотези Якобіана (Jacobian Conjecture). Це стало помітною темою на Hacker News — не тому, що ШІ «розв'язав» велику математичну проблему, а тому, що показав інший спосіб роботи: використання чат-бота як співрозмовника-чернетки під час пошуку контрприкладу.

Що важливо одразу проговорити, аби уникнути хайпу: гіпотеза Якобіана — це давня і відкрита проблема, яку ніхто остаточно не довів і не спростував. Йдеться не про сенсаційне закриття питання, а про методологію: як людина з глибокою експертизою веде діалог із мовною моделлю, щоб швидше перевіряти ідеї, шукати помилки й окреслювати межі, де можливий контрприклад.

Головна цінність кейсу — не відповідь ШІ, а стиль запитань експерта. Модель тут — прискорювач думки, а не її замінник.

Чому це важливо для української науки

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

• Швидша перевірка ідей. Замість того щоб тижнями вручну прораховувати десятки варіантів, можна швидко відсіяти явно хибні напрямки.
• Пошук контрприкладів. Часто спростувати гіпотезу простіше, ніж довести. Діалог допомагає системно перебирати «а що, якщо...».
• Виявлення власних помилок. Промовляння задачі «вголос» комусь (навіть машині) часто оголює прогалини в міркуванні.

Водночас контекст навколо цієї новини нагадує про ризики. У тій самій стрічці Hacker News поруч ідуть матеріали на кшталт «Quality non-fiction books are the antithesis of AI slop» (якісні книжки як протиотрута до «ШІ-шлаку») і обговорення того, що одні ШІ-лабораторії могли «дистилювати» напрацювання інших. Мораль для науковця: відповідальність за коректність і чесність результату лежить на вас, а не на моделі.

Як це працює простими словами

Уявіть, що у вас є досвідчений, але ненадійний асистент. Він швидко пропонує ідеї, вміє переформулювати задачу, згадує суміжні методи — але іноді впевнено помиляється. Саме так поводиться мовна модель у математичному діалозі.

Роль людини-експерта у цій зв'язці розкладається на кілька дій:

• Ставить точні межі. «Розглянь випадок для многочленів двох змінних над полем характеристики нуль» — конкретика зменшує кількість беззмістовних відповідей.
• Просить обґрунтування, а не висновок. Не «скажи відповідь», а «покажи кожен крок».
• Перевіряє кожен крок вручну. Модель може дати правильну структуру міркування з арифметичною чи логічною діркою всередині.
• Веде діалог ітеративно. Знайшовши слабке місце, повертає модель назад: «крок 3 некоректний, ось чому, спробуй інакше».

Тобто ШІ тут — не оракул, а дошка для чернеток, яка вміє говорити. Значення має саме людський контроль на кожному етапі.

Як застосувати: покроковий приклад запиту

Припустимо, ви — аспірант, у дисертації якого є робоча гіпотеза, і ви хочете перевірити, чи не існує до неї простого контрприкладу. Ось приблизний робочий сценарій діалогу.

Крок 1. Сформулюйте задачу однозначно.

«Я досліджую таке твердження: [точне формулювання гіпотези, з усіма умовами й обмеженнями]. Мета — не довести його, а знайти можливий контрприклад. Спершу перефразуй твердження своїми словами, щоб я переконався, що ти зрозумів умови правильно.»

Крок 2. Попросіть окреслити «зони ризику».

«Де це твердження найімовірніше може порушитися? Назви клас об'єктів або граничні випадки, на яких варто шукати контрприклад, і поясни чому.»

Крок 3. Запросіть конкретні кандидати з перевіркою.

«Запропонуй 3 конкретні приклади. Для кожного покроково перевір, чи виконуються умови й чи справді порушується висновок. Не пропускай жодного обчислення.»

Крок 4. Атакуйте відповідь. Це найважливіший крок, який часто пропускають.

«У кроці перевірки прикладу №2 ти зробив припущення X. Обґрунтуй його або визнай помилку. Якщо приклад хибний — відкинь його.»

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

Кілька правил безпеки для української академічної практики:

• ШІ не є співавтором. Він не несе відповідальності і не може бути джерелом у списку літератури.
• Нічого секретного. Не завантажуйте неопубліковані чужі дані чи персональну інформацію.
• Прозорість. Якщо університет вимагає — зазначайте факт використання інструменту в методології.
• Жоден результат не йде «як є». Усе перевіряється незалежно, бажано ще й колегою-людиною.

Висновок: асистент, а не авторитет

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

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