Our Aleph agent, powered by @OpenAI 's GPT‑5.2, scored 668/672, 99.4% w/hyper-efficiency on @gtsoukal et al.'s PutnamBench (the hardest formal math benchmark) a critical step in natural language automated code generation — English as programming — with hallucination-free results
@elonmusk Let the evidence speak for itself. The more that you add opinion, no matter how correct, the Dems get to say DOGE is politicized and President Trump is weaponizing DOGE for revenge etc, specious arguments anyway but gives the Dems something to investigate.