DeepMind закрыл 9 задач Эрдёша: как AlphaProof Nexus меняет математику и программирование
Google DeepMind представил AlphaProof Nexus — систему, которая автономно решила 9 открытых задач Эрдёша, часть из которых висела десятилетиями. Стоимость одного доказательства составила всего несколько сотен долларов, а