DeepMind
DeepMind использовала технологию больших языковых моделей (LLM), чтобы найти новое решение так называемой «загадки многих капсул». — одна из сложнейших нерешённых математических задач.
Что известно
Эта задача состоит в том, чтобы определить максимальное количество точек на плоскости, которые можно соединить прямыми так, чтобы никакие три точки не лежали на одной прямой. Решение головоломки искали десятилетиями, но только для небольших наборов точек.
Модель DeepMind под названием FunSearch впервые обнаружила новые конструкции больших наборов, которые намного превосходят все известное ранее. Это научное открытие стало возможным благодаря сочетанию языковой модели Google PaLM 2 и автоматизированной системы проверки фактов.
Хотя LLM не решила проблему раз и навсегда, она открыла новые факты для науки, говорят исследователи.
По словам разработчиков, это первое подтвержденное открытие в математике, сделанное с помощью искусственного интеллекта. Это может открыть новую эру в развитии искусственного интеллекта и математики.