Vår Aleph-agent, drevet av @OpenAI GPT-5.2, scoret 668/672, 99,4 % med hyper-effektivitet på @gtsoukal et al.s PutnamBench (den vanskeligste formelle matematiske benchmarken), et kritisk steg i naturlig språklig automatisert kodegenerering — engelsk som programmering — med hallusinasjonsfrie resultater