Di luar matematika: Aristoteles mencapai SOTA 96,8% pembuatan bukti di VERINA: Benchmarking Verifiable Code Generation. Anda dapat membaca lebih lanjut tentang kinerja ini di blog teknik kami yang ditautkan di bio