超越數學：亞里士多德在VERINA上實現了96.8%的SOTA證明生成：可驗證代碼生成的基準測試。您可以在我們的工程部落格中閱讀更多有關此表現的內容，鏈接在簡介中。