С помощью нейросети австралийским математикам удалось найти решение одной из гипотез, связанных с так называемыми многочленами Каждана-Люстига. Доказательство для этой теоремы не могли найти на протяжении более 40 лет.
«Математики уже давно используют компьютеры для анализа больших массивов данных. Мы впервые приспособили компьютерную нейросеть для того, чтобы она помогала нам формулировать гипотезы и определяла оптимальные подходы для поисков доказательств для новых математических теорем», - рассказал профессор университета Сиднея (Австралия) Джорди Уильямсон.
Ученые приспособили разработанную нейросеть для определения того, какой трехмерной формой могут обладать белковые молекулы. Используя систему искусственного интеллекта, биологи определили устройство свыше 30 тыс. белков, присутствующих в клетках человека, сообщили в пресс-службе университета Сиднея.
Объединив усилия, программисты и математики в дальнейшем создали нейросеть, которая позволяет ученым быстро формулировать различные математические гипотезы и проверять их на практике. Помимо этого, данная система ИИ помогает математикам искать различные неочевидные закономерности, которые человеку крайне сложно заметить в большом наборе математических объектов, сообщает ТАСС.
Последующие опыты позволил математикам найти решение и доказательства двух гипотез в области теории узлов и теории представлений, которые были сформулированы учеными несколько десятилетий назад.
Ранее сообщалось, что нейросеть займется мониторингом экосистемы Байкала.
Отечественные ученые научили нейросеть определять отличников и двоечников по содержанию публикаций в социальных сетях.
Искусственный интеллект может снизить нагрузку на педагогов российских школ, считает президент Российской академии образования (РАО) Ольга Васильева.
#ик
