Штучний інтелект розв'язує математичну задачу

Що сталося

Дослідники з університету Вріє у Брюсселі змогли створити штучний інтелект, який може допомогти у розв'язанні математичних задач. Вони використали модель мови ChatGPT-5.2 для розв'язання однієї з математичних задач, яка була висунута у 2024 році. Це відкриття може змінити традиційне розуміння ролі штучного інтелекту у наукових дослідженнях.

Подробиці

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

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

Що це означає

Це відкриття може мати велике значення для розвитку науки і математики. Штучний інтелект може стати новим інструментом для допомоги у розв'язанні складних математичних задач. Це також може змінити традиційне розуміння ролі штучного інтелекту у наукових дослідженнях. Тепер штучний інтелект може бути не тільки інструментом для обробки даних, але й активним учасником у процесі наукових відкриттів.