Ученые из хайфского Техниона создали «машину математики»

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

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

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

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

Источник: Discover24

Другие новости и советы по теме: