Штучний інтелект вперше в історії знайшов нове рішення надскладного математичного завдання
24.12.23
Компанія DeepMind використовувала технологію великих мовних моделей (LLM) для розв’язання складної математичної головоломки, відомої як “головоломка безлічі кришок”.
Задача полягає у визначенні максимальної кількості точок на площині, які можна з’єднати лініями так, щоб жодні три точки не лежали на одній прямій.
Рішення цієї головоломки було знайдено за допомогою моделі DeepMind, відомої як FunSearch, яка виявила нові конструкції для великих наборів точок, перевершуючи раніше відомі результати.
Модель використовувала комбінацію мовної моделі PaLM 2 від Google та автоматичної системи перевірки фактів. Хоча глибокий мовний модель не дав остаточного розв’язання головоломки, він знайшов нові факти, які раніше були невідомі.
Це відкриття визнається як перше підтверджене в математиці, зроблене за допомогою штучного інтелекту, вказуючи на потенціал ШІ для розв’язання складних математичних завдань і можливість відкриття нових шляхів у розвитку інтелектуальних технологій та математики.
Не пропустіть цікаве!
Підписуйтесь на наші канали та читайте анонси хай-тек новин, тестів та оглядів у зручному форматі!
GTA VI – чого чекати і що вже відомо про найочікуванішу гру індустрії?
0 
GTA VI, безсумнівно, найочікуваніша гра індустрії. У YouTube її трейлери дивляться десятки мільйонів за 12 годин, а Книга рекордів Гінеса не встигає реєструвати рекордні цифри
Razer Basilisk Mobile та Joro – ультра-компактні миша та клавіатура Razer клавіатура мишка
Razer анонсувала два нових пристрої, створені для геймерів, які не припиняють грати навіть у дорозі
Audio-Technica випустила вініловий програвач з підтримкою Bluetooth у ретро-стилі Bluetooth аудіо
Audio-Technica Sound Burger, вперше випущений у 1982 році, зберіг фірмову форму, але тепер підтримує Bluetooth, оснащений акумулятором на 12 годин