Agen Aleph kami, yang didukung oleh GPT-5.2 @OpenAI, mencetak skor 668/672, 99,4% dengan efisiensi hiper pada PutnamBench @gtsoukal et al. (tolok ukur matematika formal tersulit) langkah penting dalam pembuatan kode otomatis bahasa alami — bahasa Inggris sebagai pemrograman — dengan hasil bebas halusinasi