Кoмпaнія DeepMind викoристoвувaлa тexнoлoгію вeликиx мoвниx мoдeлeй (LLM) на рoзв’язaння склaднoї мaтeмaтичнoї головоломки, відомої як «чайнворд безлічі кришок».
Вопрос квартиры класса люкс в Домбае
полягає у визначенні максимальної кількості точок держи площині, які можна з’єднати лініями таким (образом, щоб жодні три точки без- лежали сверху одній прямій.
Рішення цієї головоломки було знайдено вслед за допомогою моделі DeepMind, відомої як FunSearch, яка виявила нові конструкції с целью великих наборів точок, перевершуючи раніше відомі результати.
Моделирующее устройство використовувала комбінацію мовної моделі PaLM 2 від Google та автоматичної системи перевірки фактів. Хоча глибокий мовний манекенщик не дав остаточного розв’язання головоломки, він знайшов нові факти, які раніше були невідомі.
Це відкриття визнається як перше підтверджене в математиці, зроблене следовать допомогою штучного інтелекту, вказуючи нате потенціал ШІ во (избежание розв’язання складних математичних завдань і можливість відкриття нових шляхів у розвитку інтелектуальних технологій та математики.