Компанія DeepMind використовувала технологію великих мовних моделей (LLM) для розв'язання складної математичної головоломки, відомої як "головоломка безлічі кришок".
Задача полягає у визначенні максимальної кількості точок на площині, які можна з'єднати лініями так, щоб жодні три точки не лежали на одній прямій.
Рішення цієї головоломки було знайдено за допомогою моделі DeepMind, відомої як FunSearch, яка виявила нові конструкції для великих наборів точок, перевершуючи раніше відомі результати.
Модель використовувала комбінацію мовної моделі PaLM 2 від Google та автоматичної системи перевірки фактів. Хоча глибокий мовний модель не дав остаточного розв'язання головоломки, він знайшов нові факти, які раніше були невідомі.
Це відкриття визнається як перше підтверджене в математиці, зроблене за допомогою штучного інтелекту, вказуючи на потенціал ШІ для розв'язання складних математичних завдань і можливість відкриття нових шляхів у розвитку інтелектуальних технологій та математики.
