Наша статья AlphaProof опубликована в этом номере @Nature! В 2024 году агенты доказательства @GoogleDeepMind AlphaProof и AlphaGeometry вместе сделали значительный шаг в области ИИ, достигнув уровня серебряной медали в решении задач IMO. Статья в Nature описывает технические инновации, необходимые для этого — в частности, RL-цикл, связывающий естественный язык и символическую строгость, которые сделали AlphaProof возможным.