Четверг 03 июля 2025 года

 

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


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

Вторник, 16 Февраля 2021 11:25

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

 

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

 

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

 

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

 
 

 
Колесников Андрей Опубликовано в Наука  
Читайте также
Найден пропавший тысячелетие назад гимн Вавилону Найден пропавший тысячелетие назад гимн Вавилону В ходе сотрудничества с Багдадским университетом Энрике Хименес из LMU заново открыл текст, который был утерян тысячу лет назад. Статья об этом открытии опубликована в журнале Iraq. «Это захватывающий гимн,…
Природная защита лисичек: грибы, в которых насекомые не выживают Природная защита лисичек: грибы, в которых насекомые не выживают Ярко-жёлтые лисички, знакомые каждому грибнику, давно славятся своей чистотой — в них почти никогда не бывает червей. По информации, представленной пресс-службой ГБУ ВО "Дирекция ООПТ", эти грибы не интересуют ни…
Первые окаменелости гомининов обнаружили в затопленной части Азии Первые окаменелости гомининов обнаружили в затопленной части Азии При строительстве искусственного острова у берегов Индонезии были обнаружены первые останки Homo erectus, которые извлекли со дна затонувшего участка суши Сундаланд. Последний является частью Зондского шельфа. Об этом изданию Daily…
Интернет и СМИ
Главное за сутки
МО: за ночь над регионами России сбили 69 украинских БПЛА МО: за ночь над регионами России сбили 69 украинских БПЛА Средства ПВО за ночь уничтожили 69 украинских беспилотников над регионами России. Об этом сообщили в Минобороны РФ. "В течение прошедшей ночи дежурными средствами ПВО уничтожены 69 украинских беспилотных летательных аппаратов…
В Липецкой области из-за падения обломков дрона на частный дом погибла женщина В Липецкой области из-за падения обломков дрона на частный дом погибла женщина Обломки беспилотника упали на частный дом в Липецкой области, женщина погибла. Еще два человека ранены, сообщил губернатор региона Игорь Артамонов. "Обломки беспилотника упали на частный жилой дом в Липецком районе.…
Президент Южной Кореи заявил, что его страна может объединиться с Северной Кореей Президент Южной Кореи заявил, что его страна может объединиться с Северной Кореей Республика Корея должна стремиться к мирному объединению, Юг и Север "могут объединиться и через сотни лет", если сохранят национальную общность. Об этом заявил президент Республики Корея Ли Чжэ Мён. "В…
Тема дня
Ближневосточная трагедия быстро превратилась в фарс Ближневосточная трагедия быстро превратилась в фарс

Все выглядело, как начало третьей мировой. В конфликт вовлекается Америка. Ракеты выпущены с подводн...

Фото
Римский плетеный колодец с лестницей найден в Англии Римский плетеный колодец с лестницей найден в Англии

Археологи обнаружили в Норфолке хорошо сохранившийся римский колодец, сделанный из плетеной лозы, в ...

Опрос

Какое время продлится напряженность в отношениях между Россией и Азербайджаном?

 

Анекдот дня

Когда телефон был привязан к стене, люди были свободны...

Еще »

Этот сайт использует файлы «cookie» с целью повышения удобства его использования. Во время посещения сайта вы соглашаетесь с тем, что мы обрабатываем ваши персональные данные с использованием сервиса «Яндекс. Метрика». Продолжая использовать сайт, вы соглашаетесь с Политикой конфиденциальности.

КАК ЗАРАБОТАТЬ НА ИИ ЕСЛИ ТЫ НЕ ПРОГРАММИСТ?
ПРОФЕССИИ, КОТОРЫЕ ВЫМРУТ ЧЕРЕЗ 5 ЛЕТ И ЧТО С ЭТИМ ДЕЛАТЬ?
Интересные материалы
МЫ ВКОНТАКТЕ

Зарегистрировано Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций

(Роскомнадзор). Реестровая запись от 07.06.2022 серия ЭЛ № ФС 77 – 83392. При использовании, полном или частичном

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

точкой зрения редакции. На информационном ресурсе применяются рекомендательные технологии (информационные технологии

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

сети "Интернет", находящихся на территории Российской Федерации)".