Achim, Tudor, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, et al. “Aristotle: IMO-Level Automated Theorem Proving”. SuperIntelligence - Robotics - Safety & Alignment 3, no. 3 (September 25, 2026). Accessed September 27, 2026. https://s-rsa.com/index.php/agi/article/view/18745.