Matematiikan lisäksi: Aristoteles saavuttaa SOTA:n 96,8 % todisteiden generoinnin VERINA: Benchmarking Verifiable Code Generation -ohjelmassa. Voit lukea lisää tästä suorituksesta insinööriblogistamme, joka on linkattu biossa