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

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

Израильские специалисты решили при помощи компьютерной программы попробовать повторить его подход. Целью их работы является генерирование различных гипотез в виде математических формул для их последующего анализа и доказательства.

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

Добавить комментарий