Учёные из Израильского технологического института разработали так называемую «машину Рамануджана» — устройство, способное генерировать математические гипотезы для фундаментальных констант.
Своё название разработка получила в честь Сриниваса Рамануджана — индийского математика-самоучки. Свою славу он заработал благодаря тому, что без соответствующего специального образования сумел получать результаты в области теории чисел.
Остальные математики затем находили доказательства для его теорем. Специалисты из Израиля решили при помощи компьютерной программы попробовать повторить его подход.
Читать на rusjev.net