Наш агент Aleph, работающий на GPT‑5.2 от @OpenAI, набрал 668/672, 99.4% с гиперэффективностью на PutnamBench @gtsoukal и др. (самый сложный формальный математический бенчмарк) — критический шаг в автоматической генерации кода на естественном языке — английский как программирование — с результатами без галлюцинаций.