Поза межами математики: Арістотель досягає SOTA 96,8% генерації доказів у VERINA: Benchmarking Verifyable Code Generation. Більше про цю продуктивність ви можете прочитати у нашому інженерному блозі, посиланий у біографії