Kecerdasan Buatan memasuki dunia matematika mendalam dengan kuat!
Anthropic mengumumkan bahwa agen-agen AI Claude telah menyelesaikan dalam 11 hari draf pertama yang sepenuhnya dapat diverifikasi secara komputasional untuk teorema Terakhir Fermat, menggunakan bahasa Lean.
🤯 Proyek ini menghasilkan sekitar 13 juta baris kode Lean dan membuktikan lebih dari 30 ribu teorema antara, dengan memanfaatkan sekitar 29.500 di antaranya dalam pembuktian final.
Hal yang menarik di sini bukan sekadar menyelesaikan soal matematika terkenal, melainkan bahwa AI kini mampu mengubah pembuktian matematika yang kompleks menjadi sebuah format yang bisa ditinjau langkah demi langkah oleh komputer.
Ini bisa jadi awal era baru: AI tidak hanya menulis kode… tetapi membantu memverifikasi matematika itu sendiri.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
Anthropic mengumumkan bahwa agen-agen AI Claude telah menyelesaikan dalam 11 hari draf pertama yang sepenuhnya dapat diverifikasi secara komputasional untuk teorema Terakhir Fermat, menggunakan bahasa Lean.
🤯 Proyek ini menghasilkan sekitar 13 juta baris kode Lean dan membuktikan lebih dari 30 ribu teorema antara, dengan memanfaatkan sekitar 29.500 di antaranya dalam pembuktian final.
Hal yang menarik di sini bukan sekadar menyelesaikan soal matematika terkenal, melainkan bahwa AI kini mampu mengubah pembuktian matematika yang kompleks menjadi sebuah format yang bisa ditinjau langkah demi langkah oleh komputer.
Ini bisa jadi awal era baru: AI tidak hanya menulis kode… tetapi membantu memverifikasi matematika itu sendiri.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
