Terobosan besar dalam penulisan kode otomatis Anthropic Claude

Claude dari Anthropic kini mampu menulis dan memverifikasi kode secara otomatis. Dengan mengubah uji crash menjadi masalah matematika, Claude menganalisis kode mesin hasil kompilasi dan menghasilkan bukti menyeluruh untuk melindungi perangkat lunak yang sudah ada. Struktur yang ketat, metrik yang presisi, dan kendali atas aspek-aspek penting membawa teknologi AI ke tingkat yang lebih tinggi.#AI技术 #AnthropicClaude