06:09 Новый искусственный интеллект генерирует математические гипотезы, которые нужно доказать |
|
Ученые создали программу под названием «машина Рамануджана», которая способна выдвигать гипотезы из области теории чисел. На сегодняшний день алгоритм создал более 100 интересных гипотез, из которых математики доказали несколько десятков. Раньше программы только пытались доказывать гипотезы, которые выдвигал человек. «Машина Рамануджана» работает в обратном порядке: она находит возможные взаимосвязи между числами, универсальность которых математикам нужно доказывать Машинное обучение позволяет алгоритмам обнаруживать закономерности в больших объемах данных. Программы такого типа уже нашли применение в различных областях: они распознают лица, расшифровывают мертвые языки и выращивают искусственные органы. Исследователи из Израильского технологического института Технион решили выяснить, можно ли использовать алгоритмы с машинным обучением для чего-то более фундаментального, например, выявления новых закономерностей в теории чисел. В более ранних исследованиях ученые создавали программы, которые доказывали задаваемые гипотезы. Израильские математики решили пойти в обратную сторону и заставить искусственный интеллект генерировать математические утверждения, которые требуется доказать. Созданный исследователями искусственный интеллект получил название «машина Рамануджана» в честь индийского математика Сринивасы Рамануджана. За 33 года своей короткой жизни он смог открыть и доказать более 120 формул из теории чисел. Теперь его дело может продолжить алгоритм с машинным обучением. Программа уже смогла придумать более ста гипотез, для нескольких десятков из которых исследователи нашли доказательства. В своей работе авторы сосредоточились на выражениях, включающих различные константы. Алгоритм анализирует множество уравнений с постоянными величинами, а затем ищет в них закономерности. Если программа находит потенциальную гипотезу, то проверяет ее сначала на небольшом наборе чисел, а затем расширяет дальше, после чего предлагает исследователям доказать ту или иную взаимосвязь. Математики даже создали специальный сайт, где можно прочитать про принцип работы алгоритма, запустить «машину Рамануджана» и постараться доказать гипотезу, которую она выдаст. Своим изобретением исследователи надеются изменить подход к изучению теории чисел. |
|
|
| Всего комментариев: 0 | |
По этой теме смотрите:
ВСЕ НОВОСТИ:
| Астрология, пророчества [1066] | Астрономия и космос [1457] | Безумный мир [2063] |
| Войны и конфликты [2310] | Гипотезы и версии [3874] | Дом,сад,кулинария [3945] |
| Животные и растения [2669] | Здоровье,психология [4748] | История и археология [4652] |
| Мир вокруг нас [2167] | Мировые новости [7583] | Наука и технологии [890] |
| Непознанное [4196] | НЛО,уфология [1263] | Общество [7795] |
| Прогнозы ученых,исследования [798] | Происшествия,чп,аварии [1302] | Российские новости [5860] |
| Стихия,экология,климат [2739] | Феномены и аномалии [945] | Фильмы и видео [6336] |
| Частное мнение [4911] | Это интересно! [3311] | Юмор,афоризмы,притчи [2394] |
АРХИВ САЙТА:
| Астрология и пророчества [825] | Гипотезы и прогнозы [4629] | Дом,сад,кулинария [223] |
| Животные и растения [2796] | Здоровье и красота [5708] | Интересности и юмор [3758] |
| История и археология [4696] | Космос, астрономия [2263] | Мир вокруг нас [1982] |
| Наука и технологии [2422] | Непознанное [3983] | НЛО,уфология [1747] |
| Общество, в мире, новости [11574] | Психология и отношения [84] | Стихия, климат, экология [421] |
| Фильмы и видео [367] | Частное мнения [111] | Эзотерика и феномены [2031] |
