Группа исследователей из Израильского технологического института (Технион) создала так называемую «машину Рамануджана» — устройство, которое автоматически генерирует математические гипотезы для фундаментальных констант.
Статья о разработке опубликована на сайте препринтов arXiv.org. «Машина Рамануджана» названа в честь знаменитого индийского математика Сриниваса Рамануджана — самоучки, который вырос в Индии и был обнаружен другим математиком, Годфри Харди.
Он прославился тем, что вместо того, чтобы применять математические подходы для доказательств теорем, он получал результаты известных проблем благодаря интуиции, а затем другие математики находили строгие доказательства для них.
Читать на lentanovosti.ru