Суббота 08 мая 2021 года
Мы
в соцсетях

 

Вы здесь:  Главная» Все новости» Наука» Новый искусственный интеллект создает математические гипотезы, которые нуждаются в доказательствах


Новый искусственный интеллект создает математические гипотезы, которые нуждаются в доказательствах

Вторник, 16 Февраля 2021 11:25
Новый искусственный интеллект создает математические гипотезы, которые нуждаются в доказательствах Фото из открытых источников

Израильские исследователи создали искусственный интеллект, способный строить гипотезы из сферы теории чисел. Алгоритм, получивший название "машина Рамануджана", создал уже более ста заслуживающих внимание математических гипотез, которые теперь предстоит доказать ученым.

 

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

 

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

 

Программу назвали "машиной Рамануджана" в честь математика Сринивасы Рамануджана из Индии, который доказал более ста двадцати формул из теории чисел за 33 года своей короткой жизни. "Теперь дело Рамануджана может продолжить программа, приближенная к ИИ. Алгоритм уже сгенерировал сто с лишним гипотез, для нескольких десятков из которых были представлены математические доказательства", — говорят создатели ИИ.

Яндекс.Дзен

Колесников Андрей Опубликовано в Наука   Теги Новости
Новости партнеров
Главное за сутки
Министерство обороны рассекретило документы об освобождении Польши Министерство обороны рассекретило документы об освобождении Польши Министерство обороны России рассекретило архивные документы об освобождении Польши от гитлеровских оккупантов. Опубликованные в рамках проекта "Без срока давности" материалы появились в мультимедийном разделе "Освобождение Польши: помнить, нельзя забыть!" на…
«Настоящая гражданская война»: глава ЛНР о ситуации в Донбассе «Настоящая гражданская война»: глава ЛНР о ситуации в Донбассе В последние несколько месяцев конфликт в Донбассе находится в стадии выраженного обострения — главным образом из-за действий Киева, направленных на срыв договоренностей. Об этом корреспондентам информационного агентства РИА Новости рассказал…
Министр иностранных дел Румынии заявил о превращении Черного моря в озеро НАТО Министр иностранных дел Румынии заявил о превращении Черного моря в озеро НАТО Черное море частично стало "озером НАТО" — заявил глава внешнеполитического ведомства Румынии Богдан Ауреску. Как пишет информационное агентство ТАСС, высокопоставленный румынский чиновник сделал такое заявление в ходе онлайн-дискуссии Talks Geopolitics,…
Интернет и СМИ
Читайте также
Недавно идентифицированный саблезубый кот оказался одним из крупнейших в истории Недавно идентифицированный саблезубый кот оказался одним из крупнейших в истории Новое исследование, проведенное американскими ученым, показало, что гигантская саблезубая кошка, которая жила в Северной Америке от 5 до 9 миллионов лет назад, могла весить до 400 кг и охотилась на…
Слуховая система следит за движением так же, как и зрительная Слуховая система следит за движением так же, как и зрительная Слуховая система головного мозга умеет отслеживать скорость и пространственное положение движущихся объектов не менее результативно, чем зрительная система. К такому выводу, как пишет издание eNeuro, пришли исследователи из Нидерландов. Людям…
На марсианской равнине обнаружили ледник странного типа На марсианской равнине обнаружили ледник странного типа Таинственные извилистые структуры, замеченные на плоской равнине Arcadia Planitia на Марсе, очень напоминают ледяные потоки в антарктических ледяных щитах на Земле. Если открытие подтвердится, то в будущем в этот марсианский…
Тема дня
США проверили Зеленского на послушание США проверили Зеленского на послушание

«Визит Блинкена продемонстрировал американскую поддержку Зеленскому и компании при том условии, что ...

Фото
Гора Ольга (Ката-Тьюта) в Австралии Гора Ольга (Ката-Тьюта) в Австралии

Гора Ольга (Ката-Тьюта) находится в Национальном парке Австралии Улуру-Ката-Тьюта и состоит из 36 ма...

Опрос

Возможны ли дружеские отношения между Россией и США?

 

Анекдот дня

- Образование?

- 7 лет на фейсбук, и 4 года в инстаграме!

- Профессия?

- Тиктокарь 6-го разряда!

Еще »
Комментарии для сайта Cackle
Ученые из Дании предложили свою теорию об устройстве Вселенной
В Ирландии найдены древние загадочные постройки
Infox
СМИ2
Lentainform
Последние комментарии
 

Мы на одноклассниках
 

 

МЫ ВКОНТАКТЕ

Свидетельство о регистрации СМИ Эл № ФС77-68260 от 27.12.2016, выдано Федеральной службой по надзору в сфере связи,

информационных технологий и массовых коммуникаций. При использовании, полном или частичном цитировании материалов

planet-today.ru активная гиперссылка обязательна. Мнения и взгляды авторов не всегда совпадают с точкой зрения редакции.