AI
Causal AI Research Advances as Stanford Tests Automated Proof Verification
Causal AI research is moving into automated scientific discovery as Stanford researchers explore whether AI agents can develop and formally verify mathematical results in causal inference. An October 2026 research project, CausalSmith, combines language…