Учёные из Израильского технологического института разработали так называемую “машину Рамануджана” – устройство, способное генерировать математические гипотезы для фундаментальных констант.
Своё название разработка получила в честь Сриниваса Рамануджана – индийского математика-самоучки. Свою славу он заработал благодаря тому, что без соответствующего специального образования сумел получать результаты в области теории чисел. Остальные математики затем находили доказательства для его теорем.
Израильские специалисты решили при помощи компьютерной программы попробовать повторить его подход. Целью их работы является генерирование различных гипотез в виде математических формул для их последующего анализа и доказательства.
На данный момент алгоритм уже нашел множество формул, некоторые из них оказались неизвестными.