#formal-reasoning 2 items 14 июн MaxProof: MiniMax Model Exceeds IMO and USAMO Gold-Medal Thresholds on Formal Math MiniMax research 26 июн The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary research