Poza matematyką: Arystoteles osiąga SOTA 96,8% generacji dowodów na VERINA: Benchmarking weryfikowalnej generacji kodu. Możesz przeczytać więcej o tej wydajności na naszym blogu inżynieryjnym, do którego link znajduje się w bio