Dincolo de matematică: Aristotle atinge SOTA 96,8% generare de demonstrații pe VERINA: Benchmarking Verifiable Code Generation. Puteți citi mai multe despre această performanță pe blogul nostru de inginerie, linkat în biografie