Семейный портал "Сказка"

 

Главная

 

Детские новости

Школа

Кулинария

Поделки

Раскраски

Стихи

Сказки

Рассказы

Вязание

Рукоделие

Прически

Все для праздника

Детям

Родителям

Питомцам

 

Детские новости

Создана нейросеть, способная искать доказательства для математических теорем

 

01.12.2021г.

В частности, математикам удалось найти решение для одной из гипотез, связанных с так называемыми многочленами Каждана-Люстига. Доказательство для этой теоремы не могли найти на протяжении более 40 лет

Математики из Австралии и специалисты британской компании Deepmind приспособили разработанные ими нейросети для решения сложных математических задач и поиска доказательств для теорем. Об этом сообщила в среду пресс-служба университета Сиднея со ссылкой на статью в журнале Nature.

"Математики уже давно используют компьютеры для анализа больших массивов данных. Мы впервые приспособили компьютерную нейросеть для того, чтобы она помогала нам формулировать гипотезы и определяла оптимальные подходы для поисков доказательств для новых математических теорем", - заявил профессор университета Сиднея (Австралия) Джорди Уильямсон, чьи слова приводит пресс-служба вуза.

Группа ученых под руководством Дэвида Сильвера, сооснователя Deepmind, уже много лет лидирует в разработке систем искусственного интеллекта. Пять лет назад они разработали AlphaGo, первую систему искусственного интеллекта, победившую человека в настольной игре го, которая до этого считалась слишком сложной для компьютеров. Последующие версии этой системы научились совершенствоваться без участия людей, а также освоили ряд других игр.

Недавно Сильвер и его коллеги приспособили разработанную ими нейросеть AlphaFold2 для решения гораздо более сложной и практически значимой задачи - определения того, какой трехмерной формой будет обладать та или иная белковая молекула. Используя эту систему ИИ, биологи определили устройство свыше 30 тыс. белков, присутствующих в клетках человека.

Нейросетевой помощник математика

Успешное решение этой сложной научной задачи подтолкнуло специалистов Deepmind к созданию нейросети, способной решать даже самые абстрактные математические задачи. В процессе ее разработки программисты обратились за помощью к профессору Уильямсону и многим другим ученым, которые много лет пытаются найти решения для еще недоказанных теорем в самых разных областях математики.

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

Как показали последующие опыты, данный подход для проверки интуитивных предсказаний математиков позволил профессору Уильямсону и его коллегам найти решение и доказательство для двух гипотез в области теории узлов и теории представлений, которые были сформулированы учеными несколько десятилетий назад.

В частности, математикам удалось найти решение для одной из гипотез, связанных с так называемыми многочленами Каждана-Люстига. Доказательство для этой теоремы ученые не могли самостоятельно найти на протяжении более 40 лет. Его успешное открытие при помощи нейросетей, как считают специалисты Deepmind, говорит о возможности широкого применения ИИ для совершения открытий во всех сферах науки.

Nauka.tass.ru

 

 

назад

 

детские новости,семейные новости,дети,новости

 

 

Обратная связь О нас Карта сайта

 

© C 2012, семейный портал "Сказка", www.family-port.ru

Копирование размещенных на сайте материалов допускается при наличии активной ссылки
Рейтинг@Mail.ru  Счетчик тИЦ и PR  Яндекс.Метрика