Renaissance Philanthropy and XTX announced another $17.1 million for the AI for Math Fund on October 6, bringing that fund’s commitments to $35.1 million. Among the projects are TorchLean’s verified neural-network work and a visual environment intended to make long Lean proofs easier to inspect. These are funded research plans, not completed production capabilities. For technical leaders, the useful development is investment in the tools around a proof—execution, navigation and human comprehension—not another claim that a model can produce a theorem. Grant announcement and project list