Náš agent Aleph, poháněný GPT-5.2 od @OpenAI, dosáhl 668/672, 99,4 % s hyperefektivitou na PutnamBench od @gtsoukal et al. (nejtěžší formální matematický benchmark), což je klíčový krok v automatizovaném generování kódu v přirozeném jazyce — angličtina jako programování — s výsledky bez halucinací