Искусственный интеллект DeepMind впервые в истории нашел новое решение сложной математической задачи

Компания DeepMind использовала технологию больших языковых моделей (LLM), чтобы найти новое решение для так называемой "головоломки множества крышек" — одной из самых сложных нерешенных математических проблем.

Что известно

Эта задача заключается в определении максимального количества точек на плоскости, которые можно соединить линиями так, чтобы никакие три точки не лежали на одной прямой. Решение головоломки искали несколько десятилетий, но лишь для небольших наборов точек.

Модель DeepMind, названная FunSearch, впервые обнаружила новые конструкции для больших наборов, значительно превосходящие все известные ранее. Это научное открытие стало возможным благодаря комбинации языковой модели PaLM 2 от Google и автоматической системы проверки фактов.

Хотя LLM не решил задачу раз и навсегда, он обнаружил новые для науки факты, утверждают ученые.

По словам разработчиков, это первое подтвержденное открытие в математике, сделанное с помощью искусственного интеллекта. Оно может положить начало новой эре в развитии ИИ и математики.

Источник: The Next Web