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