Utover matematikk: Aristoteles oppnår SOTA 96,8 % bevisgenerering på VERINA: Benchmarking Verifiable Code Generation. Du kan lese mer om denne prestasjonen på vår ingeniørblogg lenket i bio