Исследовательский агент AlphaProof Nexus, разработанный Google DeepMind, решил 9 из 353...
Исследовательский агент AlphaProof Nexus, разработанный Google DeepMind, решил 9 из 353 открытых математических задач, связанных с именем венгерского математика Пала Эрдёша. Две из них оставались нерешёнными 56 лет. На каждую решённую задачу Эрдёша система тратила на вычисления несколько сотен долларов. Кроме того, агент доказал 44 из 492 открытых гипотез из Онлайн-энциклопедии целочисленных последовательностей (OEIS), содержащей математические последовательности чисел.
2 просмотров