Achim, Tudor, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, et al. 2026. “Aristotle: IMO-Level Automated Theorem Proving”. SuperIntelligence - Robotics - Safety & Alignment 3 (3). https://doi.org/10.70777/si.v3i3.18745.