超越数学：亚里士多德在VERINA上实现了96.8%的SOTA证明生成：可验证代码生成基准测试。您可以在我们生物中的链接的工程博客上阅读更多关于此性能的信息。