Штучний інтелект допоміг розв’язати математичну проблему, над якою вчені безуспішно працювали майже вісім десятиліть. Замість очікуваного доведення система знайшла контрприклад, який поставив під сумнів саму гіпотезу.
Про це пише IFLScience.
Йдеться про гіпотезу угорського математика Пала Ердеша щодо кількості різних відстаней між точками на площині. Протягом близько 80 років науковці намагалися довести її, однак безрезультатно.
За інформацією видання, дослідники звернулися до моделей OpenAI, але замість доведення отримали несподіваний результат — контрприклад, який спростовує вихідне припущення. Саме це дозволило по-новому поглянути на давню математичну проблему.
Комбінатористка Принстонського університету Нога Алон, яка рецензувала роботу, назвала результат одним із найвражаючих прикладів використання штучного інтелекту в сучасній математиці. За її словами, дедалі частіше нові математичні доведення з’являються саме завдяки ШІ, що суттєво змінює наукові дослідження.
Водночас не всі вчені сприйняли це відкриття позитивно. Фізик і математик Томас Чен із Техаського університету висловив занепокоєння, що використання так званого «чорного ящика» у строгій математиці може змінити саму природу цієї науки.
Як пояснюють автори матеріалу, знайти контрприклад людині було надзвичайно складно через необхідність поєднати знання з різних вузькоспеціалізованих розділів математики та витратити величезну кількість часу на пошуки. Штучний інтелект зміг виконати це завдання завдяки здатності швидко аналізувати великі обсяги інформації та наполегливо перевіряти різні варіанти без втоми.
Науковці зазначають, що ШІ не має людських обмежень, таких як емоції, его чи потреба у відпочинку. Саме ці особливості, на їхню думку, дозволяють йому ефективно працювати над складними математичними задачами, які десятиліттями залишалися нерозв’язаними.