Utöver matematik: Aristoteles uppnår SOTA 96,8 % bevisgenerering på VERINA: Benchmarking Verifiable Code Generation. Du kan läsa mer om denna prestation på vår ingenjörsblogg länkad i bio