Исследовательский агент AlphaProof Nexus, разработанный Google DeepMind, решил 9 из 353 открытых математических задач, связанных с именем венгерского математика Пала Эрдёша. Две из них оставались нерешёнными 56 лет. На каждую решённую задачу Эрдёша система тратила на вычисления несколько сотен…