ИИ-агент DeepMind закрыл 9 математических задач. Цена — около $200 на задачу (opens in new tab)

Google DeepMind опубликовал препринт про агента AlphaProof Nexus, который автономно нашел формальные доказательства для 9 из 353 открытых задач из каталога венгерского математика Пола...