Unser Aleph-Agent, der von @OpenAI 's GPT‑5.2 betrieben wird, erzielte 668/672, 99,4 % mit hyper-effizienz bei @gtsoukal et al.'s PutnamBench (dem schwierigsten formalen Mathematik-Benchmark) – ein entscheidender Schritt in der automatisierten Code-Generierung in natürlicher Sprache – Englisch als Programmierung – mit halluzinationsfreien Ergebnissen