Штучний інтелект DeepMind уперше в історії знайшов нове рішення складного математичного завдання

DeepMind

Компанія DeepMind використовувала технологію великих мовних моделей (LLM), щоб знайти нове рішення для так званої "головоломки безлічі кришок" - однієї з найскладніших невирішених математичних проблем.

Що відомо

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

Модель DeepMind, названа FunSearch, уперше виявила нові конструкції для великих наборів, які значно перевершують усі відомі раніше. Це наукове відкриття стало можливим завдяки комбінації мовної моделі PaLM 2 від Google та автоматичної системи перевірки фактів.

Хоча LLM не розв'язав задачу раз і назавжди, він виявив нові для науки факти, стверджують учені.

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

Джерело: The Next Web