What Agent Builders Can Borrow from OpenAI's Math Research

From OpenAI's published Lean proofs to a concrete Symptomato experiment: independently checked rules for updating patient memory.