Toward Reliable AI-Assisted MathematicsRutgers DIMACS · Columbia UniversitySaveSep 23, 2026Artificial Intelligence