Untuk industri terorganisir, AWS berasal dari AI AWS dengan otomatisasi agen yang aman dan otomatis

AWS Itu adalah perbankan tentang fakta bahwa dengan membawanya Cek pemikiran otomatis Fitur Bedrock untuk ketersediaan umum, dan akan memberikan lebih banyak lembaga organisasi dan kepercayaan industri untuk menggunakan dan menerbitkan lebih banyak aplikasi intelijen buatan dan karyawan.

Ia juga berharap dapat memberikan cara-cara seperti pemikiran otomatis, yang menggunakan validitas matematika untuk menentukan kebenaran duniawi, untuk mengurangi institusi di dunia saraf, langkah yang diyakini perusahaan akan menjadi progres utama berikut-diferensiasi terbesar di dunia kecerdasan buatan.

Operasi verifikasi pemikiran otomatis memungkinkan pengguna yayasan untuk memverifikasi keakuratan tanggapan dan menemukan halusinasi model. AWS meluncurkan pemikiran otomatis di Bedrock di konferensi Re: Invent pada bulan Desember, mengklaim bahwa itu dapat menangkap hampir 100 % dari semua halusinasi. Sejumlah besar pengguna dapat mengakses fitur melalui pegangan tangan Amazon Bedrock, di mana lembaga dapat menetapkan kebijakan AI yang bertanggung jawab.

Peron Cook, ilmuwan terkemuka dan wakil presiden kelompok pemikiran AWS AWS, mengatakan kepada VentureBeat dalam sebuah wawancara bahwa inspeksi rasionalisasi telah membuktikan sistem pekerjaan tersebut di lingkungan lembaga, dan organisasi membantu memahami nilai kecerdasan buatan yang dapat memadukan pemikiran simbolis atau peraturan dengan sifat jaringan saraf AI.

“Ada ide tentang AI gugup, ini adalah jenis judul yang Anda sebut pemikiran otomatis,” kata Cook. “Munculnya minat pada AI yang gugup menyebabkan orang, sementara mereka menggunakan alat, untuk menyadari betapa pentingnya pekerjaan ini.”

Cook mengatakan bahwa beberapa pelanggan mengizinkan AWS untuk meninjau data dan dokumen mereka yang digunakan untuk menangguhkan jawaban sebagai benar atau salah, dan menemukan bahwa pekerjaan yang dibuat oleh alat tersebut diimplementasikan mirip dengan manusia dengan salinan Buku Peraturan di depan mereka. Dia menambahkan bahwa konsep kebenaran atau benar seringkali dapat ditundukkan pada interpretasi. Pemikiran otomatis tidak memiliki masalah yang sama.

Dia berkata: “Sangat mengejutkan! Sangat mengejutkan bahwa orang -orang dengan latar belakang logis berada di saluran komunikasi internal yang berdebat tentang apa yang benar atau tidak, dan dalam lima atau enam pesan yang menunjukkan alat dan menyadari oh, ini benar.”

AWS telah menambahkan fitur baru ke ujian berpikir optimal untuk versi publik. Ini termasuk:

• Dukungan untuk menambahkan dokumen besar hingga 80 ribu ikon atau hingga 100 halaman
• Verifikasi kesehatan kebijakan paling sederhana dengan menjaga tes verifikasi kesehatan untuk sering bekerja
• Generasi skenario otomatis dari definisi sebelumnya
• Saran bahasa alami untuk komentar politik
• Set verifikasi kesehatan yang disesuaikan

Cook mengatakan bahwa operasi verifikasi pemikiran otomatis divalidasi oleh kebenaran atau hak dalam sistem kecerdasan buatan dengan membuktikan bahwa model tersebut belum dibagikan dengan solusi atau respons. Ini berarti bahwa hal itu dapat memberikan organisasi dan organisasi -lembaga yang menyubjek yang berkaitan dengan sifat non -spesifik dari kebidanan internasional amnesty dapat mengembalikan respons yang salah terhadap lebih percaya diri.

Ai gugup dan membuktikan kebenaran

Cook menaruh ide bahwa pemeriksaan berpikir otomatis membantu membuktikan banyak konsep gugup AI.

AI neurosimbolik Itu menunjukkan jamak Salah satu jaringan saraf yang digunakan oleh model bahasa, dengan pemikiran yang terorganisir dan logis tentang kecerdasan simbolik. Ketika jaringan saraf mengenali pola data, AI menggunakan aturan yang jelas dan masalah logis. Model dasar sering bergantung pada jaringan saraf atau pembelajaran yang mendalam, tetapi karena model membangun respons mereka terhadap pola, mereka rentan terhadap halusinasi, dan mereka masih peduli dengan institusi. Tetapi Amnesty International tidak terlalu fleksibel tanpa instruksi manual.

Janji suara dalam kecerdasan buatan, seperti Kata Gary Marcus AI gugup sangat penting untuk kecerdasan umum buatan.

Memasak dan AWS sangat bersemangat Membawa ide dari AI yang gugup Ke institusi. Matt Marshall dari VentureBeat berbicara tentang fokus AWS pada metode seperti pemikiran otomatis dan menggabungkan matematika dan logika untuk kecerdasan buatan untuk mengurangi halusinasi Di podcast.

Saat ini, beberapa perusahaan ditawarkan dalam Amnesty International Terbalik. Ini termasuk KognitosDan Franz Inc.. Dan Kami.

Bawa matematika untuk memverifikasi kesehatan

Pemikiran otomatis dengan menerapkan bukti olahraga pada model sebagai tanggapan atas pertanyaan.

Ini digunakan sebagai metode yang disebut modulo untuk kepuasan, karena simbol berisi makna yang telah ditentukan sebelumnya, dan mereka memecahkan masalah yang melibatkan kedua logika (kemudian, atau) dan matematika. Pemikiran otomatis mengambil metode ini dan menerapkannya pada tanggapan melalui model dan memverifikasi ini terhadap serangkaian data kebijakan atau kebenaran tanpa perlu menguji jawaban beberapa kali.

Misalnya, dalam mempersiapkan lembaga, mereka ingin membuktikan bahwa audit keuangan benar. Model menjawab bahwa laporan tersebut berisi pembayaran yang tidak terhitung. Tes Berpikir Otomatis Membagi ini menjadi seri logis:

(Forll ((laporan r))

(=> (Berisi unaprovidorpayment r)

(Anda harus memeriksa p))))))

Kemudian ia pindah ke definisi, variabel, dan spesies yang telah diidentifikasi pengguna pada pegangan pondasi dan menggantikan persamaan untuk membuktikan bahwa model tersebut ditanggapi dengan benar dan berdasarkan kebenaran.

Membuat agen sangat benar

Cook mengatakan bahwa kasus penggunaan palsu dapat mengambil manfaat dari pemeriksaan pemikiran otomatis, dan bahwa memberikan lebih banyak akses ke fitur melalui dasar dapat membuktikan manfaatnya. Tetapi dia memperingatkan bahwa pemikiran otomatis, dan teknik saraf AI lainnya, masih dalam tahap awal.

“Saya pikir itu akan berdampak pada AICenc AI, bagaimanapun, tentu saja, pekerjaannya sangat spekulatif saat ini,” kata Cook. “Ada banyak teknik seperti menemukan misteri dalam pernyataan, maka Anda menemukan semacam delta utama antara terjemahan potensial, kemudian kembali kepada Anda dan disempurnakan, saya pikir, itu akan menjadi kunci dalam hal perjalanan emosional yang saya lihat melalui mereka mulai bermain dengan kecerdasan buatan dua tahun yang lalu.”