Модель ChatGPT вперше змогла взяти участь у доведенні математичної гіпотези, яка раніше не мала формального підтвердження. Про це повідомили дослідники з Брюссельського вільниого університету (Vrije Universiteit Brussel).
ChatGPT та математика
Йдеться про задачу з геометрії, запропоновану у 2024 році. Тривалий час її вважали правильною, однак досі ніхто не міг цього довести.
За даними дослідження, модель ChatGPT-5.2 змогла самостійно побудувати значну частину логіки доказу. Остаточний результат сформувався після кількох сесій взаємодії: дослідники поступово уточнювали аргументацію, а ШІ пропонував нові підходи.
У підсумку гіпотезу вдалося довести, але не без участі людей. Вони перевіряли кожен крок, виправляли неточності та доводили міркування до завершеного вигляду.
Окремо дослідники описують підхід, який назвали вібраційним доведенням. Його суть у тому, що мовна модель перебирає різні варіанти розв’язання, допомагаючи структурувати складні ідеї та знаходити робочі напрямки.
Науковці зазначають, що такий результат ставить під сумнів поширену думку, ніби штучний інтелект лише повторює вже відомі дані. У цьому випадку модель змогла запропонувати нові елементи міркування.
Водночас дослідники прямо говорять, що без людини такі результати поки неможливі. Основна проблема полягає у перевірці. Саме вона займає найбільше часу і залишається відповідальністю людей.