Über Mathematik hinaus: Aristoteles erreicht eine SOTA von 96,8 % bei der Beweisgenerierung auf VERINA: Benchmarking verifizierbarer Code-Generierung. Sie können mehr über diese Leistung in unserem Engineering-Blog lesen, der im Profil verlinkt ist.