Nad rámec matematiky: Aristotel dosahuje SOTA 96,8% generování důkazů na VERINA: Benchmarking Verifiable Code Generation. Více o tomto výkonu si můžete přečíst na našem inženýrském blogu, kde je odkaz v bio