Учёные из Израильского технологического института разработали так называемую «машину Рамануджана» — устройство, способное генерировать математические гипотезы для фундаментальных констант.
Специалисты из Израиля решили при помощи компьютерной программы попробовать повторить его подход. Целью их работы является генерирование различных гипотез в виде математических формул для их последующего анализа и доказательства.
На данный момент алгоритм уже нашел множество формул, некоторые из них оказались неизвестными.
Источник: Discover24
Leave a Reply